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