Theorem CategoryTheory.Subobject.factorThru_add

Modification history