Theorem HomologicalComplex.singleObjHomologySelfIso_hom_singleObjHomologySelfIso_inv

Modification history