Theorem CategoryTheory.Limits.kernelIsoOfEq_hom_comp_ι

Modification history