Mathlib Changelog
v4
Changelog
About
Github
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 →