---

Step * of Lemma pgeo-psep-sym-iff

∀g:ProjectivePlane. ∀p,q:Point.  (p ≠ q ⇐⇒ q ≠ p)
BY
{ EAuto 1 }

---

Latex:

---

Latex:
\mforall{}g:ProjectivePlane.  \mforall{}p,q:Point.    (p  \mneq{}  q  \mLeftarrow{}{}\mRightarrow{}  q  \mneq{}  p)


By

---

Latex:
EAuto  1

---

Home Index