Theorem CategoryTheory.Subobject.factorThru_add_sub_factorThru_left

Modification history