Def CategoryTheory.Subobject.exists_

Modification history