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