Theorem groupCohomology.cochainsMap_f_map_epi

Modification history

2025-02-27 19:23

Mathlib/RepresentationTheory/GroupCohomology/Functoriality.lean

feat(RepresentationTheory/GroupCohomology/Functoriality): add functoriality (#21756) …

Added groupCohomology.cochainsMap_f_map_epi View on Github →