Mathlib v3 is deprecated. Go to Mathlib v4

Def category_theory.ulift_functor

Modification history

2019-01-22 17:23
src/category_theory/types.lean
style(category_theory): adjust precedence of ⥤ (#616)
Modified category_theory.ulift_functorView on Github →
2018-09-07 11:42
category_theory/types.lean
style(category_theory): concrete categories as type class
Added category_theory.ulift_functorView on Github →