Def CategoryTheory.OplaxFunctor.mapFunctor

Modification history