Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2018-05-23 15:22 d1ea2726

View on Github →

feat(data/option): lift_or_get

Estimated changes

Modified data/option.lean

added def option.lift_or_get

added theorem option.lift_or_get_is_some_left

added theorem option.lift_or_get_is_some_right