exact List.length_zipWith' f x.data y.data
α : 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)
no goals