Mathlib v3 is deprecated. Go to Mathlib v4

Def option.mget_or_else

Modification history

2021-03-15 18:15
src/data/option/defs.lean
feat(meta/expr): monadic analogue of expr.replace (#6661)
Added option.mget_or_elseView on Github →