mathlib3
chore(category_theory): speed-up monoidal.of_has_finite_products
#1616
Merged
Merged
chore(category_theory): speed-up monoidal.of_has_finite_products #1616
mergify
merged
2 commits into
master
from
monoidal_of_has_finite_products
chore(category_theory): speed-up monoidal.of_has_finite_products
4344a3c7
fpvandoorn
approved these changes
on 2019-10-29
![mergify[bot]](https://avatars.githubusercontent.com/in/10562?v=4&s=60)
Merge branch 'master' into monoidal_of_has_finite_products
366b3a2b
Login to write a write a comment.
Login via GitHub