Step
*
of Lemma
ctt-term-meaning_wf
No Annotations
∀[X:⊢''']. (cttTerm(X) ∈ 𝕌{i''''})
BY
{ ProveWfLemma }
Latex:
Latex:
No  Annotations
\mforall{}[X:\mvdash{}'''].  (cttTerm(X)  \mmember{}  \mBbbU{}\{i''''\})
By
Latex:
ProveWfLemma
Home
Index