Theorem CategoryTheory.ShortComplex.hasRightHomology_of_iso

Modification history