Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2019-09-16 21:07 a3ccc7ac

View on Github →

chore(category_theory/notation): update notation for prod and coprod (#1413)

updating notation for categorical prod and coprod
update notation

Estimated changes

Modified src/category_theory/limits/shapes/binary_products.lean

modified def category_theory.limits.coprod.braiding

modified def category_theory.limits.coprod.desc

modified def category_theory.limits.coprod.inl

modified def category_theory.limits.coprod.inr

modified def category_theory.limits.prod.braiding

modified def category_theory.limits.prod.fst

modified def category_theory.limits.prod.lift

modified def category_theory.limits.prod.snd