Def CategoryTheory.Functor.toPseudoFunctor'

Modification history