mathlib3
72b4541a - feat(data/option): simple lemmas about orelse (#10972)

Commit

4 years ago

feat(data/option): simple lemmas about orelse (#10972) Some simple lemmas about orelse. Analogous to `bind_eq_some` and friends.

Author

dwarn

Parents