---

Step * of Lemma eu-eqt

∀e:EuclideanPlane. ∀a,b,c:{p:Point| O_X_p} .
  (((a = b ∈ {p:Point| O_X_p} ) ∧ (b = c ∈ {p:Point| O_X_p} )) ⇒ (a = c ∈ {p:Point| O_X_p} ))
BY
{ Auto }

---

Latex:

---

Latex:
\mforall{}e:EuclideanPlane.  \mforall{}a,b,c:\{p:Point|  O\_X\_p\}  .    (((a  =  b)  \mwedge{}  (b  =  c))  {}\mRightarrow{}  (a  =  c))


By

---

Latex:
Auto

---

Home Index