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_inv_self_ρ_sub_self_inv