# Commit 2020-03-20 23:38 99ba8f44

View on Github →chore(category_theory): change monoidal_of_has_finite_products to use binary products (#2190)

- chore(category_theory): change monoidal_of_has_finite_products to use binary products
- remove some simp annotations for now
- fixes