---

Step * of Lemma sq_stable__pgeo-incident

∀[g:ProjGeomPrimitives]. ∀[a:Point]. ∀[b:Line].  SqStable(a I b)
BY
{ (Unfold `pgeo-incident` 0 THEN Auto) }

---

Latex:

---

Latex:
\mforall{}[g:ProjGeomPrimitives].  \mforall{}[a:Point].  \mforall{}[b:Line].    SqStable(a  I  b)


By

---

Latex:
(Unfold  `pgeo-incident`  0  THEN  Auto)

---

Home Index