Def CategoryTheory.Subobject.«exists»

Modification history