Theorem CategoryTheory.ShortComplex.RightHomologyData.ofEpiOfIsIsoOfMono_H

Modification history