Theorem CategoryTheory.ShortComplex.RightHomologyData.ofEpiOfIsIsoOfMono_Q

Modification history