[Práctico 5] - Ejercicios 6.3 y 5.2

Re: [Práctico 5] - Ejercicios 6.3 y 5.2

de Carlos Luna -
Número de respuestas: 0

Hola.

Si, se puede usar equal con los dos axiomas referidos. También se puede definir una función equal para nat (las variables son naturales).

Saludos, Carlos