Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2018-02-18 00:16 9b306b2e

View on Github →

feat(option.to_list)

Estimated changes

added def option.to_list