Theorem CategoryTheory.exact_of_image_eq_kernel

Modification history