Documentation

Mathlib.Data.Array.Basic

@[deprecated Array.data_toArray]
theorem List.toArray_data {α : Type u_1} (as : List α) :
(List.toArray as).data = as

Alias of Array.data_toArray.