---

Step * of Lemma int_term_to_rP_wf

∀[t:int_term()]. (int_term_to_rP(t) ∈ ℤ List)
BY
{ ProveWfLemma }

---

Latex:

---

Latex:
\mforall{}[t:int\_term()].  (int\_term\_to\_rP(t)  \mmember{}  \mBbbZ{}  List)


By

---

Latex:
ProveWfLemma

---

Home Index