Mathlib.Data.Array.Defs
source
This file contains various definitions on Array. It does not contain proofs about these definitions, those are contained in other files in Mathlib.Data.Array.
Array
Mathlib.Data.Array