Theorem CategoryTheory.ShortComplex.ShortExact.isIso_g_iff

Modification history