show (zipWithAux f x y 0 #[]).data = List.zipWith f x.data y.data
α : Type u
β : Type v
γ : Type w
f : α → β → γ
x : Array α
y : Array β
⊢ (zipWith x y f).data = List.zipWith f x.data y.data
α : Type u
β : Type v
γ : Type w
f : α → β → γ
x : Array α
y : Array β
⊢ (zipWithAux f x y 0 #[]).data = List.zipWith f x.data y.data