---

Step * of Lemma geo-colinear-implies-1

∀e:BasicGeometry. ∀x,a,b:Point.  (Colinear(b;a;x) ⇒ Colinear(b;a;a))
BY
{ Auto }

---

Latex:

---

Latex:
\mforall{}e:BasicGeometry.  \mforall{}x,a,b:Point.    (Colinear(b;a;x)  {}\mRightarrow{}  Colinear(b;a;a))


By

---

Latex:
Auto

---

Home Index