Theorem CategoryTheory.Subobject.sup_factors_of_factors_left

Modification history