---

Step * of Lemma geo-lt-angle-in-half-plane-implies-left

∀e:EuclideanPlane. ∀w,x,y,z:Point.  (xyz < wyz ⇒ w leftof yz ⇒ x leftof yz ⇒ w leftof yx)
BY
{ Auto }

1
1. e : EuclideanPlane
2. w : Point
3. x : Point
4. y : Point
5. z : Point
6. xyz < wyz
7. w leftof yz
8. x leftof yz
⊢ w leftof yx

---

Latex:

---

Latex:
\mforall{}e:EuclideanPlane.  \mforall{}w,x,y,z:Point.    (xyz  <  wyz  {}\mRightarrow{}  w  leftof  yz  {}\mRightarrow{}  x  leftof  yz  {}\mRightarrow{}  w  leftof  yx)


By

---

Latex:
Auto

---

Home Index