simp
init₁ init₂ : ℕ
l₁ l₂ : List ℕ
h : List.length [] = List.length []
⊢ foldl (fun a b => a + b) (init₁ + init₂) (zipWith (fun a b => a + b) [] []) =
    foldl (fun a b => a + b) init₁ [] + foldl (fun a b => a + b) init₂ []
no goals