theorem List.toArray_data {α : Type u_1} (as : List α) : (List.toArray as).data = as

Alias of Array.data_toArray.