Theorem HomologicalComplex.single_obj_X_self

Modification history