Theorem CategoryTheory.Limits.kernelSubobjectIsoComp_hom_arrow

Modification history