Theorem CategoryTheory.ShortComplex.shortExact_iff_of_iso

Modification history