---

Step * of Lemma in-hull_wf

∀[g:OrientedPlane]. ∀[xs:{xs:Point List| geo-general-position(g;xs)} ]. ∀[i,j:ℕ||xs||].
  ij ∈ Hull(xs) ∈ ℙ supposing ¬(i = j ∈ ℤ)
BY
{ ProveWfLemma }

---

Latex:

---

Latex:
\mforall{}[g:OrientedPlane].  \mforall{}[xs:\{xs:Point  List|  geo-general-position(g;xs)\}  ].  \mforall{}[i,j:\mBbbN{}||xs||].
    ij  \mmember{}  Hull(xs)  \mmember{}  \mBbbP{}  supposing  \mneg{}(i  =  j)


By

---

Latex:
ProveWfLemma

---

Home Index