---

Step * of Lemma geoline-subtype1

∀[e:EuclideanPlane]. (Line ⊆r LINE)
BY
{ Auto }

---

Latex:

---

Latex:
\mforall{}[e:EuclideanPlane].  (Line  \msubseteq{}r  LINE)


By

---

Latex:
Auto

---

Home Index