Theorem CategoryTheory.Subobject.factorThru_self

Modification history