Theorem CochainComplex.from_single₀_ext

Modification history