Def category_theory.monoidal_functor.prod

Modification history