---

Step * of Lemma rneq-iff-rabs

∀x,y:ℝ.  (x ≠ y ⇐⇒ r0 < |x - y|)
BY
{ Auto }

1
1. x : ℝ
2. y : ℝ
3. x ≠ y
⊢ r0 < |x - y|

2
1. x : ℝ
2. y : ℝ
3. r0 < |x - y|
⊢ x ≠ y

---

Latex:

---

Latex:
\mforall{}x,y:\mBbbR{}.    (x  \mneq{}  y  \mLeftarrow{}{}\mRightarrow{}  r0  <  |x  -  y|)


By

---

Latex:
Auto

---

Home Index