Mathlib Changelog
v4
Changelog
About
Github
Theorem
groupCohomology_induction_on
Modification history
2025-06-24 15:10
Mathlib/RepresentationTheory/Homological/GroupCohomology/Basic.lean
fix: remove unused `DecidableEq` arguments (#26352) …
Modified
groupCohomology_induction_on
View on Github →
2025-06-13 18:23
Mathlib/RepresentationTheory/GroupCohomology/Basic.lean
feat(RepresentationTheory/GroupCohomology): extra lemmas (#25815) …
Added
groupCohomology_induction_on
View on Github →