Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-04-18 23:47 99245b33

View on Github →

chore(*): switch to lean 3.9.0 (#2449) It's been too long since the last Lean release.

Estimated changes

Modified leanpkg.toml

Modified src/data/array/lemmas.lean

deleted theorem array.read_foreach_aux

modified theorem array.read_map

Modified src/meta/expr.lean