Def CategoryTheory.Subobject.functor

Modification history