Theorem CategoryTheory.Subobject.factorThru_right

Modification history