∀ {α : Type u_1} {β : Type u_2} {α' : Type u_3} {γ : Type u_4} {as : Array α} {bs : Array β} {f : α → α'}
  {g : α' → β → γ}, Array.zipWith g (Array.map f as) bs = Array.zipWith (fun a b => g (f a) b) as bs