Def category_theory.monoidal.CommMon_functor_category_equivalence.unit_iso

Modification history