Mathlib v3 is deprecated. Go to Mathlib v4

Theorem option.seq_some

Modification history

2018-07-21 12:10

data/option.lean

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

Modified option.seq_some View on Github →

2018-04-16 19:39

data/option.lean

feat(data/option): more option stuff

Modified option.seq_some View on Github →

2018-03-05 16:11

data/option.lean

chore(*): update to Lean d6d44a19

Added option.seq_some View on Github →