Theorem groupCohomology.isoTwoCocycles_hom_comp_i

Modification history

2025-07-03 00:27

Mathlib/RepresentationTheory/Homological/GroupCohomology/LowDegree.lean

refactor: denote low degree group cohomology API indices with subscripts (#26546) …

Deleted groupCohomology.isoTwoCocycles_hom_comp_i View on Github →

2025-05-23 11:14

Mathlib/RepresentationTheory/GroupCohomology/LowDegree.lean

refactor(Algebra/Homology/ShortComplex/ModuleCat, RepresentationTheory/GroupCohomology/*): unfold `CategoryTheory.ShortComplex.moduleCatLeftHomologyData` less eagerly (#24696) …

Added groupCohomology.isoTwoCocycles_hom_comp_i View on Github →