Theorem CochainComplex.toSingle₀Equiv_symm_apply_f_succ

Modification history