[Practico 4] Ej 10

[Practico 4] Ej 10

de Danilo Alberto Garcia Lallanes -
Número de respuestas: 1

Hola, en un momento en una prueba llego a que: S (length A l) <> 0.

¿ Se puede usar el axioma discNat: forall n:nat, S n <> 0 ?