Theorem CategoryTheory.ShortComplex.shortExact_iff_unop

Modification history