Def category_theory.monoidal_of_has_finite_products

Modification history