---

Step * of Lemma dual-line-subtype

∀[pg:BasicProjectivePlane]. (Line ⊆r Point)
BY
{ Auto }

---

Latex:

---

Latex:
\mforall{}[pg:BasicProjectivePlane].  (Line  \msubseteq{}r  Point)


By

---

Latex:
Auto

---

Home Index