[Haskell-beginners] structural induction, two lists, simultaneous

[John Wiegley]

>>>>> Pascal Knodel <pascal.knodel at mail.com> writes:

> But in this 'proof attempt' only "ys" was considered (1. I.H.).  What do I
> miss?

You only need induction on 'ys' to proof the stated proposition.

John