Práctico 4 - Dudas ejercicio 17

Re: Práctico 4 - Dudas ejercicio 17

de Carlos Luna -
Número de respuestas: 0

Hola.

Esta propiedad se demuestra fácilmente por inducción en l1 (notar que append se define por recursión en el primer argumento), usando en algún caso discriminate.

Saludos, Carlos