2025-07-07 22:18
Mathlib/RepresentationTheory/Homological/GroupHomology/LowDegree.lean
feat(RepresentationTheory/Homological/GroupHomology/LowDegree): API for n-cycles & n-boundaries for n = 1, 2 (#25882) …
Added groupHomology.cycles₁_eq_top_of_isTrivial