---

Step * of Lemma euclidean-plane-structure-subtype

EuclideanPlaneStructure ⊆r GeometryPrimitives
BY
{ ((D 0 THENA Auto⋅) THEN UnfoldTopAb 1 THEN Repeat ((DepIsectHD (-1) THEN Thin (-1) THEN Try (Trivial)))) }

---

Latex:

---

Latex:
EuclideanPlaneStructure  \msubseteq{}r  GeometryPrimitives


By

---

Latex:
((D  0  THENA  Auto\mcdot{})
  THEN  UnfoldTopAb  1
  THEN  Repeat  ((DepIsectHD  (-1)  THEN  Thin  (-1)  THEN  Try  (Trivial))))

---

Home Index