Theorem CategoryTheory.Subobject.factorThru_mk_self

Modification history