Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2019-07-23 11:10 4a5529a2

View on Github →

feat(data/array): add some simp attributes (#1255)

Estimated changes

modified theorem array.read_foreach
modified theorem array.read_map₂