Theorem HomologicalComplex.singleObjHomologySelfIso_inv_naturality

Modification history