Theorem CategoryTheory.ShortComplex.RightHomologyData.ofEpiOfIsIsoOfMono'_H

Modification history