Mathlib v3 is deprecated. Go to Mathlib v4

Def functor.const

Modification history

2020-02-24 15:43
src/category/functor.lean
feat(tactic/lint): support @[nolint unused_arguments] (#2041) …
Modified functor.constView on Github →
2019-10-19 19:57
src/category/functor.lean
feat(tactic/lint): rename and refactor sanity_check (#1556) …
Modified functor.constView on Github →
2019-10-03 17:37
src/category/functor.lean
chore(*): fix errors in library and sanity_check (#1499) …
Modified functor.constView on Github →
2018-11-05 09:56
category/functor.lean
feat(category/bifunctor): Bifunctor and bitraversable (#255)
Added functor.constView on Github →