---

Step * of Lemma stable__colinear

∀e:GeometryPrimitives. ∀[a,b,c:Point].  Stable{Colinear(a;b;c)}
BY
{ Auto }

---

Latex:

---

Latex:
\mforall{}e:GeometryPrimitives.  \mforall{}[a,b,c:Point].    Stable\{Colinear(a;b;c)\}


By

---

Latex:
Auto

---

Home Index