Theorem CategoryTheory.Subobject.factors_right_of_factors_add

Modification history