Def CategoryTheory.PrelaxFunctor.mkOfHomFunctors

Modification history