Theorem CategoryTheory.imageToKernel_isIso_of_image_eq_kernel

Modification history