Def category_theory.monoidal.Mon_functor_category_equivalence

Modification history