Theorem CategoryTheory.Limits.kernelComparison_comp_ι

Modification history