Theorem CategoryTheory.Subobject.factors_of_factors_right

Modification history