---

Step * of Lemma rational-form-has-value

∀[r:ℤ ⋃ (ℤ × ℤ-o)]. has-valueall(r)
BY
{ (Auto THEN ProveHasValueall) }

---

Latex:

---

Latex:
\mforall{}[r:\mBbbZ{}  \mcup{}  (\mBbbZ{}  \mtimes{}  \mBbbZ{}\msupminus{}\msupzero{})].  has-valueall(r)


By

---

Latex:
(Auto  THEN  ProveHasValueall)

---

Home Index