---

Step * 1 2 of Lemma context-subset-is-cubical-subset

.....wf..... 
1. I : fset(ℕ)
2. phi : {formal-cube(I) ⊢ _:𝔽}
⊢ fset(ℕ) ∈ Type
BY
{ Auto }

---

Latex:

---

Latex:
.....wf..... 
1.  I  :  fset(\mBbbN{})
2.  phi  :  \{formal-cube(I)  \mvdash{}  \_:\mBbbF{}\}
\mvdash{}  fset(\mBbbN{})  \mmember{}  Type


By

---

Latex:
Auto

---

Home Index