Theorem HomologicalComplex.extend_d_to_eq_zero

Modification history