Theorem groupHomology.chainsMap_id_f_hom_eq_mapRange

Modification history

2025-06-17 08:16
Mathlib/RepresentationTheory/Homological/GroupHomology/Functoriality.lean
feat(RepresentationTheory/Homological/GroupHomology/Functoriality): add functoriality (#25880) …
Added groupHomology.chainsMap_id_f_hom_eq_mapRangeView on Github →