Theorem groupCohomology.cocyclesMap_id

Modification history

2025-06-13 18:23

Mathlib/RepresentationTheory/GroupCohomology/Functoriality.lean

feat(RepresentationTheory/GroupCohomology): extra lemmas (#25815) …

Added groupCohomology.cocyclesMap_id View on Github →