Theorem groupCohomology.cochainsMap_comp

Modification history

2025-06-24 15:10
Mathlib/RepresentationTheory/Homological/GroupCohomology/Functoriality.lean
fix: remove unused `DecidableEq` arguments (#26352) …
Modified groupCohomology.cochainsMap_compView on Github →
2025-06-09 08:15
Mathlib/RepresentationTheory/GroupCohomology/Functoriality.lean
feat(RepresentationTheory/*): add the bar resolution (#21738) …
Modified groupCohomology.cochainsMap_compView on Github →
2025-02-27 19:23
Mathlib/RepresentationTheory/GroupCohomology/Functoriality.lean
feat(RepresentationTheory/GroupCohomology/Functoriality): add functoriality (#21756) …
Added groupCohomology.cochainsMap_compView on Github →