Step
*
of Lemma
geo-colinear-set_wf
∀[e:EuclideanPlaneStructure]. ∀[L:Point List]. (geo-colinear-set(e; L) ∈ ℙ)
BY
{ ProveWfLemma }
Latex:
Latex:
\mforall{}[e:EuclideanPlaneStructure]. \mforall{}[L:Point List]. (geo-colinear-set(e; L) \mmember{} \mBbbP{})
By
Latex:
ProveWfLemma
Home
Index