Def category_theory.monoidal.Mon_functor_category_equivalence.functor

Modification history