Theorem CategoryTheory.Subobject.factorThru_arrow

Modification history