Theorem HomologicalComplex.extend.isZero_X

Modification history