---

Step * of Lemma left-symmetry

No Annotations
∀g:EuclideanPlane. ∀a,b,c:Point.  (a leftof bc ⇒ b leftof ca)
BY
{ UseEuAxioms }

---

Latex:

---

Latex:
No  Annotations
\mforall{}g:EuclideanPlane.  \mforall{}a,b,c:Point.    (a  leftof  bc  {}\mRightarrow{}  b  leftof  ca)


By

---

Latex:
UseEuAxioms

---

Home Index