Theorem Array.toArrayLit_eq'

Modification history

2022-07-11 12:59

Mathlib/Data/Array/Basic.lean

chore: bump to nightly-2022-07-11 (#300)

Deleted Array.toArrayLit_eq'View on Github →

2021-08-11 18:47

Mathlib/Data/Array/Basic.lean

update lean to nightly-2021-08-11 (#32)

Added Array.toArrayLit_eq'View on Github →