Theorem CategoryTheory.ShortComplex.RightHomologyData.ofEpiOfIsIsoOfMono_g'

Modification history