Exercises
[29D]Show that if \(x{\lt}y \land y\le z\) or \(x\le y \land y{\lt} z\) then \(x{\lt}z\).
EDB β 29D
View
English
Authors:
"Mennucci , Andrea C. G."
.
Managing blob in: Multiple languages