Theorem groupHomology.map_comp

Modification history

2025-07-19 22:57

Mathlib/RepresentationTheory/Homological/GroupHomology/Functoriality.lean

fix(RepresentationTheory/Homological/GroupHomology/*): remove unused `DecidableEq` arguments (#27298) …

Modified groupHomology.map_comp View on Github →

2025-06-17 08:16

Mathlib/RepresentationTheory/Homological/GroupHomology/Functoriality.lean

feat(RepresentationTheory/Homological/GroupHomology/Functoriality): add functoriality (#25880) …

Added groupHomology.map_comp View on Github →