Theorem CochainComplex.of_d_ne

Modification history