Theorem CategoryTheory.Subobject.factorThru_comp_arrow

Modification history