---

Step * of Lemma radd-preserves-rleq

∀[x,y,z:ℝ].  uiff(x ≤ y;(z + x) ≤ (z + y))
BY
{ Auto }

1
1. x : ℝ
2. y : ℝ
3. z : ℝ
4. (z + x) ≤ (z + y)
⊢ x ≤ y

---

Latex:

---

Latex:
\mforall{}[x,y,z:\mBbbR{}].    uiff(x  \mleq{}  y;(z  +  x)  \mleq{}  (z  +  y))


By

---

Latex:
Auto

---

Home Index