Theorem CategoryTheory.ShortComplex.shortExact_of_iso

Modification history