Def CategoryTheory.Functor.toPrefunctor

Modification history