Theorem CategoryTheory.Subobject.factors_comp_arrow

Modification history