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_one_snd_sub_single_one_fst_mem_boundaries₂