Theorem CategoryTheory.Limits.le_kernelSubobject

Modification history