Theorem CategoryTheory.ShortComplex.ShortExact.isIso_f_iff

Modification history