Def groupCohomologyIso

Modification history

2026-01-19 08:37

Mathlib/RepresentationTheory/Homological/GroupCohomology/Basic.lean

refactor(Data/Finsupp): remove `DecidableEq` argument from `curry` (#33490) …

Modified groupCohomologyIso View on Github →

2025-07-03 08:36

Mathlib/RepresentationTheory/Homological/GroupCohomology/Basic.lean

feat(RepresentationTheory/GroupCohomology): add Shapiro's lemma (#25937) …

Added groupCohomologyIso View on Github →