Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2018-12-02 06:41 51afb41c

View on Github →

fix(category_theory/yoneda): add componentwise lemma (#480)

Estimated changes

Modified category_theory/types.lean

added theorem category_theory.ulift_functor.map

added def category_theory.ulift_trivial

Modified category_theory/yoneda.lean

added def category_theory.yoneda_sections

added def category_theory.yoneda_sections_small