---

Step * of Lemma rabs-difference-is-zero

∀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. x = y
⊢ |x - y| = r0

---

Latex:

---

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


By

---

Latex:
Auto

---

Home Index