Theorem CategoryTheory.ShortComplex.exact_iff_isIso_imageToKernel

Modification history