Theorem CategoryTheory.Subobject.inf_le_right

Modification history