Theorem HomologicalComplex.isZero_single_obj_X

Modification history