Mathlib v3 is deprecated. Go to Mathlib v4

Def category_theory.ulift_trivial

Modification history

2018-12-02 06:41
category_theory/types.lean
fix(category_theory/yoneda): add componentwise lemma (#480)
Added category_theory.ulift_trivialView on Github →