Def groupHomologyIsoTor

Modification history

2025-07-19 22:57

Mathlib/RepresentationTheory/Homological/GroupHomology/Basic.lean

fix(RepresentationTheory/Homological/GroupHomology/*): remove unused `DecidableEq` arguments (#27298) …

Modified groupHomologyIsoTor View on Github →

2025-06-16 12:56

Mathlib/RepresentationTheory/Homological/GroupHomology/Basic.lean

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

Added groupHomologyIsoTor View on Github →