---

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