Buenas,
En el ejercicio 3 pide definir funciones recursivas sobre nat: sum, prod, pot. Es correcto definir una utilizando una anterior? es decir definir prod usando sum en el caso recursivo; definir pot usando prod en el caso recursivo... o es necesario que todas partan desde S?
Gracias
Saludos