Theorem CochainComplex.fromSingle₀Equiv_symm_apply_f_zero

Modification history