Theorem CategoryTheory.Limits.kernelSubobject_arrow'

Modification history