mathlib3
chore(category_theory): change monoidal_of_has_finite_products to use binary products
#2190
Merged
Merged
chore(category_theory): change monoidal_of_has_finite_products to use binary products #2190
mergify
merged
4 commits into
master
from
monoidal_of_has_finite_products
chore(category_theory): change monoidal_of_has_finite_products to use…
ab9b80e0
remove some simp annotations for now
a628bb59
jcommelin
approved these changes
on 2020-03-19
fixes
183bf7b4
![mergify[bot]](https://avatars.githubusercontent.com/in/10562?v=4&s=60)
Merge branch 'master' into monoidal_of_has_finite_products
8ac50207
Login to write a write a comment.
Login via GitHub