Theorem isZero_groupHomology_succ_of_subsingleton

Modification history

2025-06-16 12:56

Mathlib/RepresentationTheory/Homological/GroupHomology/Basic.lean

feat(RepresentationTheory/Homological/GroupHomology/Basic): define group homology (#25868) …

Added isZero_groupHomology_succ_of_subsingleton View on Github →