---

Step * of Lemma ispolyform_leaf_lemma

∀n,x:Top.  (ispolyform(tree_leaf(x)) n ~ tt)
BY
{ (RepUR ``ispolyform`` 0 THEN Auto) }

---

Latex:

---

Latex:
\mforall{}n,x:Top.    (ispolyform(tree\_leaf(x))  n  \msim{}  tt)


By

---

Latex:
(RepUR  ``ispolyform``  0  THEN  Auto)

---

Home Index