---

Step * of Lemma geo-strict-between-sep2

∀e:GeometryPrimitives. ∀a,b,c:Point.  (a-b-c ⇒ a ≠ b)
BY
{ Auto }

---

Latex:

---

Latex:
\mforall{}e:GeometryPrimitives.  \mforall{}a,b,c:Point.    (a-b-c  {}\mRightarrow{}  a  \mneq{}  b)


By

---

Latex:
Auto

---

Home Index