---

Step * of Lemma not-lsep-iff-colinear

∀g:EuclideanPlane. ∀a,b,c:Point.  (¬a # bc ⇐⇒ Colinear(a;b;c))
BY
{ UseEuAxioms }

---

Latex:

---

Latex:
\mforall{}g:EuclideanPlane.  \mforall{}a,b,c:Point.    (\mneg{}a  \#  bc  \mLeftarrow{}{}\mRightarrow{}  Colinear(a;b;c))


By

---

Latex:
UseEuAxioms

---

Home Index