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.single_ρ_self_add_single_inv_mem_boundaries₁