mathlib3

99ba8f44 - 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 (#2190) * chore(category_theory): change monoidal_of_has_finite_products to use binary products * remove some simp annotations for now * fixes Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>