mathlib3
chore(category_theory): change monoidal_of_has_finite_products to use binary products
#2190
Merged
Overview
Commits
4
Changes
View On GitHub
Commits
  • chore(category_theory): change monoidal_of_has_finite_products to use binary products
    kim-em committed 6 years ago
  • remove some simp annotations for now
    kim-em committed 6 years ago
  • fixes
    kim-em committed 6 years ago
  • Merge branch 'master' into monoidal_of_has_finite_products
    mergify[bot] committed 6 years ago
FAQ Terms Privacy Refunds Impressum
Loading