Theorem groupCohomology.mapCocycles₁_one

Modification history

2026-03-24 21:13

Mathlib/RepresentationTheory/Homological/GroupCohomology/Functoriality.lean

chore(RepresentationTheory): Refactor Rep (#36127) …

Modified groupCohomology.mapCocycles₁_one View on Github →

2025-07-03 00:27

Mathlib/RepresentationTheory/Homological/GroupCohomology/Functoriality.lean

refactor: denote low degree group cohomology API indices with subscripts (#26546) …

Added groupCohomology.mapCocycles₁_one View on Github →