Theorem CategoryTheory.ShortComplex.isIso₂_of_shortExact_of_isIso₁₃

Modification history