Mathlib v3 is deprecated. Go to Mathlib v4

Theorem array.write_to_list

Modification history

2020-08-29 14:16

src/data/array/lemmas.lean

chore(*): bump to lean 3.19.0c, fin is now a subtype (#3955) …

Modified array.write_to_list View on Github →

2018-08-28 00:06

data/array/lemmas.lean

chore(data/array, data/buffer): Array and buffer cleanup (#277)

Modified array.write_to_list View on Github →

2017-11-07 19:26

data/array/lemmas.lean

refactor(data/hash_map): improve hash_map proof …

Added array.write_to_list View on Github →