2025-06-30 14:03
Mathlib/RepresentationTheory/Homological/GroupHomology/LowDegree.lean
feat(RepresentationTheory/Homological/GroupHomology/LowDegree): simpler expressions for differentials (#25873) …
Added groupHomology.d₂₁_single_ρ_add_single_inv_mul