Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2017-09-05 10:33 c7a3c75d

View on Github →

fix(data/seq): option_bind, option_map -> option.bind, option.map (changed in Lean)

Estimated changes