Mathlib v3 is deprecated. Go to Mathlib v4

Def pfun.eval_opt

Modification history

2021-07-09 13:36
src/data/pfun.lean
chore(data/set/basic): use `decidable_pred (∈ s)` instead of `decidable_pred s`. (#8211) …
Modified pfun.eval_optView on Github →
2017-07-23 15:16
data/pfun.lean
refactor(*): import content from lean/library/data and library_dev
Added pfun.eval_optView on Github →