Theorem groupHomology.range_d₁₀_eq_coinvariantsKer

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.range_d₁₀_eq_coinvariantsKer View on Github →