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