Theorem CategoryTheory.Limits.kernelSubobjectIso_comp_kernel_map

Modification history