Def CategoryTheory.Subobject.smallCoproductDesc

Modification history