Variabile libera: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
m Bot: aggiungo template {{Collegamenti esterni}} (ref) |
m Bot: rimuovo sezione "Collegamenti esterni" vuota (ref) |
||
Riga 34:
Il fatto che questa definizione ricorsiva sia ben posta è garantito dal [[teorema di ricorsione]] assieme con il [[teorema di leggibilità unica]].
{{Portale|matematica}}
| |||