Theorem CategoryTheory.Subobject.inf_le_left

Modification history