simp only [size, zipWith_data_eq_zipWith_data]
α : Type u
β : Type v
γ : Type w
f : α → β → γ
x : Array α
y : Array β
⊢ size (zipWith x y f) = min (size x) (size y)
α : Type u
β : Type v
γ : Type w
f : α → β → γ
x : Array α
y : Array β
⊢ List.length (List.zipWith f x.data y.data) = min (List.length x.data) (List.length y.data)