---

Step * of Lemma rabs-strict-ub

No Annotations
∀a:ℝ. ((r0 ≤ a) ⇒ (∀x:ℝ. (a < |x| ⇐⇒ (a < x) ∨ (a < -(x)))))
BY
{ Auto }

1
1. a : ℝ
2. r0 ≤ a
3. x : ℝ
4. a < |x|
⊢ (a < x) ∨ (a < -(x))

2
1. a : ℝ
2. r0 ≤ a
3. x : ℝ
4. (a < x) ∨ (a < -(x))
⊢ a < |x|

---

Latex:

---

Latex:
No  Annotations
\mforall{}a:\mBbbR{}.  ((r0  \mleq{}  a)  {}\mRightarrow{}  (\mforall{}x:\mBbbR{}.  (a  <  |x|  \mLeftarrow{}{}\mRightarrow{}  (a  <  x)  \mvee{}  (a  <  -(x)))))


By

---

Latex:
Auto

---

Home Index