---

Step * of Lemma geo-seg-of_wf

∀[e:BasicGeometry]. ∀[sp:geo-proper-segment(e)].  (geo-seg-of(sp) ∈ geo-segment(e))
BY
{ ProveWfLemma }

---

Latex:

---

Latex:
\mforall{}[e:BasicGeometry].  \mforall{}[sp:geo-proper-segment(e)].    (geo-seg-of(sp)  \mmember{}  geo-segment(e))


By

---

Latex:
ProveWfLemma

---

Home Index