Theorem CategoryTheory.Subobject.le_sSup

Modification history