Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-08-18 14:01 9a705331

View on Github →

feat(data/option/basic): add ne_none_iff_exists (#3856)

Estimated changes