Theorem CategoryTheory.Limits.kernelSubobject_factors

Modification history