---

Step * of Lemma geo-strict-between-sep3

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

---

Latex:

---

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


By

---

Latex:
Auto

---

Home Index