Theorem CategoryTheory.Subobject.factors_left_of_inf_factors

Modification history