Theorem CategoryTheory.ShortComplex.shortExact_iff_op

Modification history