Theorem HomologicalComplex.single_obj_d

Modification history