---

Step * of Lemma left-between-triangle

∀e:EuclideanPlane. ∀a,x,y,p:Point.  (a leftof xy ⇒ x-p-a ⇒ a leftof py)
BY
{ Auto }

1
1. e : EuclideanPlane
2. a : Point
3. x : Point
4. y : Point
5. p : Point
6. a leftof xy
7. x-p-a
⊢ a leftof py

---

Latex:

---

Latex:
\mforall{}e:EuclideanPlane.  \mforall{}a,x,y,p:Point.    (a  leftof  xy  {}\mRightarrow{}  x-p-a  {}\mRightarrow{}  a  leftof  py)


By

---

Latex:
Auto

---

Home Index