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_self_inv_ρ_sub_inv_self