---

Step * of Lemma dual-point-subtype

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

---

Latex:

---

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


By

---

Latex:
Auto

---

Home Index