Theorem CategoryTheory.Subobject.factorThru_add_sub_factorThru_right

Modification history