Esercizi
[29D]Mostrate che se \(x{\lt}y \land y\le z\) oppure \(x\le y \land y{\lt} z\) allora \(x{\lt}z\).
EDB — 29D
Vista
Italiano
Autori:
"Mennucci , Andrea C. G."
.
Stai gestendo il blob in: Multiple languages