---

Step * of Lemma pgeo-join-to-line_dual

∀g:BasicProjectivePlane. ∀p,q:Line. ∀l:Point. ∀s:p ≠ q.  (l I p ⇒ l I q ⇒ p ∧ q ≡ l)
BY
{ ProveDualLemma `pgeo-join-to-line` }

---

Latex:

---

Latex:
\mforall{}g:BasicProjectivePlane.  \mforall{}p,q:Line.  \mforall{}l:Point.  \mforall{}s:p  \mneq{}  q.    (l  I  p  {}\mRightarrow{}  l  I  q  {}\mRightarrow{}  p  \mwedge{}  q  \mequiv{}  l)


By

---

Latex:
ProveDualLemma  `pgeo-join-to-line`

---

Home Index