simp [swap]
α : Type u
x : Subarray α
i j : Fin (size x)
⊢ swap x i j = swap x j i
α : Type u
x : Subarray α
i j : Fin (size x)
⊢ Array.swap x.as (castIndex x i) (castIndex x j) = Array.swap x.as (castIndex x j) (castIndex x i)