Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2019-01-16 08:14 ab5849ed

View on Github →

style(category_theory/opposites): increase binding power of ᵒᵖ (#600)

Estimated changes

Modified src/category_theory/limits/cones.lean

modified def category_theory.functor.cones

Modified src/category_theory/opposites.lean

Modified src/category_theory/yoneda.lean