Documentation

Init.Data.Array.TakeDrop

theorem Array.exists_of_uset {α : Type u_1} (self : Array α) (i : USize) (d : α) (h : i.toNat < self.size) :