Def category_theory.subobject.sup

Modification history