---

Step * of Lemma geo-left-antisymmetry

∀g:OrientedPlane. ∀a,b,c:Point.  (a leftof bc ⇒ (¬a leftof cb))
BY
{ EAuto 1 }

---

Latex:

---

Latex:
\mforall{}g:OrientedPlane.  \mforall{}a,b,c:Point.    (a  leftof  bc  {}\mRightarrow{}  (\mneg{}a  leftof  cb))


By

---

Latex:
EAuto  1

---

Home Index