---

Step * 1 of Lemma ccc-nset-weakly-decidable


1. K : Type
2. CCCNSet(K)
⊢ K ⊆r ℕ
BY
{ Auto }

---

Latex:

---

Latex:

1.  K  :  Type
2.  CCCNSet(K)
\mvdash{}  K  \msubseteq{}r  \mBbbN{}


By

---

Latex:
Auto

---

Home Index