Theorem CategoryTheory.comp_eq_zero_of_image_eq_kernel

Modification history