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