---

Step * of Lemma term_size_var_lemma

No Annotations
∀v:Top. (term-size(varterm(v)) ~ 1)
BY
{ (Auto THEN Computation) }

---

Latex:

---

Latex:
No  Annotations
\mforall{}v:Top.  (term-size(varterm(v))  \msim{}  1)


By

---

Latex:
(Auto  THEN  Computation)

---

Home Index