Theorem CategoryTheory.Subobject.le_inf

Modification history