Theorem CategoryTheory.Limits.kernelSubobjectIsoComp_inv_arrow

Modification history