Theorem CategoryTheory.Subobject.mk_factors_self

Modification history