Mathlib v3 is deprecated. Go to Mathlib v4

Def category_theory.monoidal_of_has_finite_products

Modification history

2021-02-28 04:58
src/category_theory/monoidal/of_has_finite_products.lean
chore(category_theory/*): fix long lines (#6471)
Modified category_theory.monoidal_of_has_finite_productsView on Github →
2020-06-30 04:15
src/category_theory/monoidal/of_has_finite_products.lean
feat(category_theory): remove nearly all universe annotations (#3221) …
Modified category_theory.monoidal_of_has_finite_productsView on Github →
2020-03-20 23:38
src/category_theory/monoidal/of_has_finite_products.lean
chore(category_theory): change monoidal_of_has_finite_products to use binary products (#2190) …
Modified category_theory.monoidal_of_has_finite_productsView on Github →
2019-09-04 12:59
src/category_theory/monoidal/of_has_finite_products.lean
feat(category_theory): finite products give a monoidal structure (#1340) …
Added category_theory.monoidal_of_has_finite_productsView on Github →