Step * of Lemma pseudo-bounded_wf

[S:Type]. pseudo-bounded(S) ∈ ℙ supposing S ⊆r ℕ
BY
ProveWfLemma }


Latex:


Latex:
\mforall{}[S:Type].  pseudo-bounded(S)  \mmember{}  \mBbbP{}  supposing  S  \msubseteq{}r  \mBbbN{}


By


Latex:
ProveWfLemma




Home Index