Def CategoryTheory.Functor.toPseudoFunctor

Modification history