Step * of Lemma connected_wf

[X:Type]. Connected(X) ∈ ℙsupposing X ⊆r ℝ
BY
ProveWfLemma }


Latex:


Latex:
\mforall{}[X:Type].  Connected(X)  \mmember{}  \mBbbP{}'  supposing  X  \msubseteq{}r  \mBbbR{}


By


Latex:
ProveWfLemma




Home Index