Theorem CategoryTheory.ShortComplex.exact_iff_image_eq_kernel

Modification history