Theorem CategoryTheory.ShortComplex.RightHomologyData.ofEpiOfIsIsoOfMono'_ι

Modification history