---

Step * of Lemma heyting-geometry-subtype

HeytingGeometry ⊆r EuclideanPlane
BY
{ Auto }

---

Latex:

---

Latex:
HeytingGeometry  \msubseteq{}r  EuclideanPlane


By

---

Latex:
Auto

---

Home Index