Def category_theory.monoidal.CommMon_functor_category_equivalence.inverse

Modification history