Mathlib v3 is deprecated. Go to Mathlib v4

Def option.to_list

Modification history

2018-12-17 10:50

data/option/basic.lean

fix(*): untangle dependency hierarchy

Modified option.to_list View on Github →

2018-04-16 19:00

data/option.lean

feat(data/option): more option decidability

Modified option.to_list View on Github →

2018-02-18 00:16

data/option.lean

feat(option.to_list)

Added option.to_list View on Github →