Theorem HomologicalComplex.Hom.to_single₀_exact_d_f_at_zero

Modification history