---

Step * of Lemma wf_term_var_lemma

No Annotations
∀v,arity,sort:Top.  (wf-term(arity;sort;varterm(v)) ~ tt)
BY
{ ((UnivCD THENA Auto) THEN Computation) }

---

Latex:

---

Latex:
No  Annotations
\mforall{}v,arity,sort:Top.    (wf-term(arity;sort;varterm(v))  \msim{}  tt)


By

---

Latex:
((UnivCD  THENA  Auto)  THEN  Computation)

---

Home Index