---

Step * 1 of Lemma Russell_wf

.....subterm..... T:t
1:n
Type ⋂ Base ∈ 𝕌'
BY
{ Auto }

---

Latex:

---

Latex:
.....subterm.....  T:t
1:n
Type  \mcap{}  Base  \mmember{}  \mBbbU{}'


By

---

Latex:
Auto

---

Home Index