Step
*
of Lemma
geo-convex_wf
∀[g:BasicGeometry-]. ∀[P:Point ⟶ ℙ].  (IsConvex(x.P[x]) ∈ ℙ)
BY
{ ProveWfLemma }
Latex:
Latex:
\mforall{}[g:BasicGeometry-].  \mforall{}[P:Point  {}\mrightarrow{}  \mBbbP{}].    (IsConvex(x.P[x])  \mmember{}  \mBbbP{})
By
Latex:
ProveWfLemma
Home
Index