Theorem: Subarray.as_swap (Algdata/Data/Array/Subarray.lean)

State before:
α : Type u
x : Subarray α
i j : Fin (size x)
⊢ (swap x i j).as = Array.swap x.as (castIndex x i) (castIndex x j)
Tactic:
rfl
State after:
no goals