Theorem HomologicalComplex.singleMapHomologicalComplex_inv_app_self

Modification history