---

Step * of Lemma sq_stable__geo-eq

∀[e:GeometryPrimitives]. ∀[a,b:Point].  SqStable(a ≡ b)
BY
{ (InstLemma `stable_geo-eq` [] THEN RepeatFor 3 (ParallelLast') THEN EAuto 1) }

---

Latex:

---

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


By

---

Latex:
(InstLemma  `stable\_geo-eq`  []  THEN  RepeatFor  3  (ParallelLast')  THEN  EAuto  1)

---

Home Index