Theorem CategoryTheory.ShortComplex.isIso₂_of_shortExact_of_isIso₁₃'

Modification history