Theorem groupHomology.d₂₁_comp_d₁₀

Modification history

2025-06-30 14:03
Mathlib/RepresentationTheory/Homological/GroupHomology/LowDegree.lean
feat(RepresentationTheory/Homological/GroupHomology/LowDegree): simpler expressions for differentials (#25873) …
Added groupHomology.d₂₁_comp_d₁₀View on Github →