Mathlib v3 is deprecated. Go to Mathlib v4

Def option.melim

Modification history

2022-06-13 23:08
src/data/option/defs.lean
refactor(data/option/defs): Swap arguments to `option.elim` (#14681) …
Modified option.melimView on Github →
2021-03-15 18:15
src/data/option/defs.lean
feat(meta/expr): monadic analogue of expr.replace (#6661)
Added option.melimView on Github →