def Array.finRange (n : Nat) : Array (Fin n)

finRange n is the array of all elements of Fin n in order.

Equations

• Array.finRange n = Array.ofFn fun (i : Fin n) => i