Theorem CategoryTheory.ShortComplex.RightHomologyData.ofEpiOfIsIsoOfMono_ι

Modification history