Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2019-01-22 17:23 8d44feeb

View on Github →

style(category_theory): adjust precedence of ⥤ (#616)

Estimated changes

Modified src/category_theory/functor.lean

Modified src/category_theory/opposites.lean

Modified src/category_theory/products.lean

modified def category_theory.evaluation_uncurried

modified def category_theory.functor.prod

modified def category_theory.prod.fst

modified def category_theory.prod.inl

modified def category_theory.prod.inr

modified def category_theory.prod.snd

modified def category_theory.prod.swap

modified def category_theory.prod.symmetry

Modified src/category_theory/types.lean

modified def category_theory.ulift_functor

Modified src/category_theory/yoneda.lean

modified def category_theory.yoneda_evaluation

modified def category_theory.yoneda_pairing