Def groupHomologyIso

Modification history

2025-07-19 22:57

Mathlib/RepresentationTheory/Homological/GroupHomology/Basic.lean

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

Modified groupHomologyIso View on Github →

2025-07-11 07:44

Mathlib/RepresentationTheory/Homological/GroupHomology/Basic.lean

feat(RepresentationTheory/Homological/GroupHomology): add Shapiro's lemma (#25996) …

Added groupHomologyIso View on Github →