Theorem HomologicalComplex.Hom.to_single₀_exact_at_succ

Modification history