mathlib3

chore(category_theory): speed-up monoidal.of_has_finite_products

#1616

Merged