Def CategoryTheory.ShortComplex.LeftHomologyMapData.ofEpiOfIsIsoOfMono

Modification history