Mathlib v3 is deprecated. Go to Mathlib v4

Theorem function.const_def

Modification history

2020-09-26 07:58
src/logic/function/basic.lean
feat(data/set): add some lemmas (#4263) …
Added function.const_defView on Github →