Mathlib v3 is deprecated. Go to Mathlib v4

Theorem category_theory.ulift_functor_map

Modification history

2019-06-18 22:06

src/category_theory/types.lean

fix(category_theory/types): rename lemma `ulift_functor.map` (#1133) …

Added category_theory.ulift_functor_map View on Github →