Theorem groupCohomology.cochainsMap_id_f_eq_compLeft

Modification history

2025-06-13 18:23
Mathlib/RepresentationTheory/GroupCohomology/Functoriality.lean
feat(RepresentationTheory/GroupCohomology): extra lemmas (#25815) …
Deleted groupCohomology.cochainsMap_id_f_eq_compLeftView on Github →
2025-02-27 19:23
Mathlib/RepresentationTheory/GroupCohomology/Functoriality.lean
feat(RepresentationTheory/GroupCohomology/Functoriality): add functoriality (#21756) …
Added groupCohomology.cochainsMap_id_f_eq_compLeftView on Github →