---

Step * of Lemma stable_geo-eq

∀[e:GeometryPrimitives]. ∀[a,b:Point].  Stable{a ≡ b}
BY
{ Auto }

---

Latex:

---

Latex:
\mforall{}[e:GeometryPrimitives].  \mforall{}[a,b:Point].    Stable\{a  \mequiv{}  b\}


By

---

Latex:
Auto

---

Home Index