Theorem HomologicalComplex.isZero_extend_X'

Modification history