---

Step * 3 1 1 1 1 1 1 of Lemma mFOL-bound-rename


1. u : ℤ
2. v : ℤ List
⊢ 0 < ||[u / v]||
BY
{ Auto' }

---

Latex:

---

Latex:

1.  u  :  \mBbbZ{}
2.  v  :  \mBbbZ{}  List
\mvdash{}  0  <  ||[u  /  v]||


By

---

Latex:
Auto'

---

Home Index