Theorem CategoryTheory.ShortComplex.RightHomologyData.ofEpiOfIsIsoOfMono'_Q

Modification history