Theorem CategoryTheory.Subobject.factorThru_ofLe

Modification history