Def category_theory.monoidal_functor.diag

Modification history