Theorem CategoryTheory.Subobject.factors_self

Modification history