Mathlib v3 is deprecated. Go to Mathlib v4

Theorem option.some_bind

Modification history

2018-07-21 12:10

data/option.lean

fix(data/option): fix universe levels in option.map_some etc.

Modified option.some_bind View on Github →

2018-04-16 19:39

data/option.lean

feat(data/option): more option stuff

Modified option.some_bind View on Github →

2017-11-01 04:35

data/option.lean

feat(data/num,data/multiset): more properties of binary numbers, begin multisets

Added option.some_bind View on Github →