mathlib3
cleanup(category_theory/monoidal): use equiv on prod/punit intead of adding new constants
#1257
Merged
Merged