Theorem CategoryTheory.ShortComplex.exact_iff_epi_imageToKernel'

Modification history