---

Step * of Lemma pgeo-lsep-implies-plsep_dual

∀g:ProjectivePlane. ∀p:Line. ∀l,m:Point. ∀s:l ≠ m.  (l I p ⇒ p ≠ l ∨ m ⇒ m ≠ p)
BY
{ ProveDualLemmaPlane `pgeo-lsep-implies-plsep` }

---

Latex:

---

Latex:
\mforall{}g:ProjectivePlane.  \mforall{}p:Line.  \mforall{}l,m:Point.  \mforall{}s:l  \mneq{}  m.    (l  I  p  {}\mRightarrow{}  p  \mneq{}  l  \mvee{}  m  {}\mRightarrow{}  m  \mneq{}  p)


By

---

Latex:
ProveDualLemmaPlane  `pgeo-lsep-implies-plsep`

---

Home Index