Modifiche recenti - Cerca:

Categorie

Pagine utente

Winzipedia

Uso dell'wiki

modifica il menu

AL /

ElementiRegolari

AL.ElementiRegolari Versioni

Nascondi le modifiche minori - Mostra le modifiche da evidenziare

Modificata la linea 8: da:
a:
Modificate le linee 2-3: da:
a:
Modificate le linee 6-8: da:

∀(x,y) ∈ E x E, x ∗ y = x ∗ z ⇒ y = z (posso semplificare a sinistra) ∧ y ∗ x = z ∗ x ⇒ y = z (posso semplificare a destra)

a:
09/07/2006 ore 11:22 CEST di Vincenzo - Creazione pagina
Aggiunte le linee 1-6:
Modifica - Versioni - Stampa - Modifiche recenti - Cerca
Ultima modifica il 02/08/2006 ore 23:15 CEST