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