---

Step * of Lemma geo-be-neq

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

---

Latex:

---

Latex:
\mforall{}e:BasicGeometry.  \mforall{}a,b,c:Point.    (a  \mneq{}  b  {}\mRightarrow{}  a\_b\_c  {}\mRightarrow{}  a  \mneq{}  c)


By

---

Latex:
Auto

---

Home Index