Theorem CategoryTheory.Subobject.factors_left_of_factors_add

Modification history