---

Step * of Lemma geo-strict-between-implies-between

∀e:BasicGeometry-. ∀[a,b,c:Point].  a_b_c supposing a-b-c
BY
{ (Auto THEN Unhide THEN Auto) }

---

Latex:

---

Latex:
\mforall{}e:BasicGeometry-.  \mforall{}[a,b,c:Point].    a\_b\_c  supposing  a-b-c


By

---

Latex:
(Auto  THEN  Unhide  THEN  Auto)

---

Home Index