Def CategoryTheory.ShortComplex.RightHomologyMapData.ofEpiOfIsIsoOfMono

Modification history