---

Step * of Lemma r2-gt-or

No Annotations
∀a,b,c:ℝ^2. ∀d:{d:ℝ^2| d(c;d) < d(a;b)} . ∀x,y:ℝ^2.  ((d(c;d) < d(x;y)) ∨ (d(x;y) < d(a;b)))
BY
{ Auto }

---

Latex:

---

Latex:
No  Annotations
\mforall{}a,b,c:\mBbbR{}\^{}2.  \mforall{}d:\{d:\mBbbR{}\^{}2|  d(c;d)  <  d(a;b)\}  .  \mforall{}x,y:\mBbbR{}\^{}2.    ((d(c;d)  <  d(x;y))  \mvee{}  (d(x;y)  <  d(a;b)))


By

---

Latex:
Auto

---

Home Index