Theorem CategoryTheory.kernel_comp_cokernel

Modification history