Theorem CategoryTheory.Subobject.factors_add

Modification history