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