---

Step * of Lemma rational-has-value

∀[r:ℚ]. has-valueall(r)
BY
{ Auto }

---

Latex:

---

Latex:
\mforall{}[r:\mBbbQ{}].  has-valueall(r)


By

---

Latex:
Auto

---

Home Index