Categorie
Winzipedia Uso dell'wiki |
AL /
ElementiRegolariAL.ElementiRegolari VersioniMostra le modifiche minori - Mostra le modifiche da evidenziare 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 - Creazione pagina
Aggiunte le linee 1-6:
|