Induction on Lists - .. ,an] We can define a list inductively as ...

Induction on Lists - .. ,an] We can define a list inductively as ...

More to explore