Theorem CategoryTheory.ShortComplex.RightHomologyData.ofEpiOfIsIsoOfMono_p

Modification history