Def CategoryTheory.Subobject.factorThru

Modification history