---

Step * of Lemma geo-incident-iff-not-plsep

No Annotations
∀[e:EuclideanPlane]. ∀[x:Point]. ∀[m:Line].  (x I m ⇐⇒ ¬x # m)
BY
{ EAuto 1 }

---

Latex:

---

Latex:
No  Annotations
\mforall{}[e:EuclideanPlane].  \mforall{}[x:Point].  \mforall{}[m:Line].    (x  I  m  \mLeftarrow{}{}\mRightarrow{}  \mneg{}x  \#  m)


By

---

Latex:
EAuto  1

---

Home Index