mathlib

4344a3c7 - chore(category_theory): speed-up monoidal.of_has_finite_products