Def CategoryTheory.Functor.toMonoidalFunctorOfHasFiniteProducts

Modification history