Def groupHomology.H1π

Modification history

2026-09-04 11:59

Mathlib/RepresentationTheory/Homological/GroupHomology/LowDegree.lean

chore(CategoryTheory): use the new `↧` notation in concrete categories (#41811) …

Modified groupHomology.H1π View on Github →

2025-07-11 14:29

Mathlib/RepresentationTheory/Homological/GroupHomology/LowDegree.lean

feat(RepresentationTheory/Homological/GroupHomology/LowDegree): specialized API for `H0, H1, H2` (#25908) …

Added groupHomology.H1π View on Github →