---

Step * of Lemma geo-between-exchange3

∀e:BasicGeometry-. ∀[a,b,c,d:Point].  (b_c_d) supposing (a_c_d and a_b_c)
BY
{ Auto }

---

Latex:

---

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


By

---

Latex:
Auto

---

Home Index