Theorem HomologicalComplex.extend_d_from_eq_zero

Modification history