---

Step * of Lemma r2-left-or-right--pos-angle

∀a,b,c:ℝ^2.  (r2-left(a;b;c) ∨ r2-left(a;c;b) ⇐⇒ rv-pos-angle(2;a;b;c))
BY
{ Auto }

1
1. a : ℝ^2
2. b : ℝ^2
3. c : ℝ^2
4. r2-left(a;b;c) ∨ r2-left(a;c;b)
⊢ rv-pos-angle(2;a;b;c)

2
1. a : ℝ^2
2. b : ℝ^2
3. c : ℝ^2
4. rv-pos-angle(2;a;b;c)
⊢ r2-left(a;b;c) ∨ r2-left(a;c;b)

---

Latex:

---

Latex:
\mforall{}a,b,c:\mBbbR{}\^{}2.    (r2-left(a;b;c)  \mvee{}  r2-left(a;c;b)  \mLeftarrow{}{}\mRightarrow{}  rv-pos-angle(2;a;b;c))


By

---

Latex:
Auto

---

Home Index