Theorem CategoryTheory.Subobject.inf_arrow_factors_right

Modification history