---

Step * of Lemma eu-be-neq

∀e:EuclideanPlane. ∀a,b,c:Point.  ((¬(a = b ∈ Point)) ⇒ a_b_c ⇒ (¬(a = c ∈ Point)))
BY
{ Auto }

---

Latex:

---

Latex:
\mforall{}e:EuclideanPlane.  \mforall{}a,b,c:Point.    ((\mneg{}(a  =  b))  {}\mRightarrow{}  a\_b\_c  {}\mRightarrow{}  (\mneg{}(a  =  c)))


By

---

Latex:
Auto

---

Home Index