Theorem HomologicalComplex.isZero_extend_X

Modification history