---

Step * of Lemma radd-non-neg

∀x,y:ℝ.  ((r0 ≤ x) ⇒ (r0 ≤ y) ⇒ (r0 ≤ (x + y)))
BY
{ Auto }

1
1. x : ℝ@i
2. y : ℝ@i
3. r0 ≤ x@i
4. r0 ≤ y@i
⊢ r0 ≤ (x + y)

---

Latex:

---

Latex:
\mforall{}x,y:\mBbbR{}.    ((r0  \mleq{}  x)  {}\mRightarrow{}  (r0  \mleq{}  y)  {}\mRightarrow{}  (r0  \mleq{}  (x  +  y)))


By

---

Latex:
Auto

---

Home Index