Theorem CategoryTheory.Limits.imageSubobject_mono

Modification history