---

Step * of Lemma approx-root_wf

∀k:{2...}. ∀a:{a:ℚ| (0 ≤ a) ∨ (↑isOdd(k))} . ∀n:ℕ+.  (k-th root(a) within 1/n ∈ ℚ)
BY
{ ProveWfLemma⋅ }

---

Latex:

---

Latex:
\mforall{}k:\{2...\}.  \mforall{}a:\{a:\mBbbQ{}|  (0  \mleq{}  a)  \mvee{}  (\muparrow{}isOdd(k))\}  .  \mforall{}n:\mBbbN{}\msupplus{}.    (k-th  root(a)  within  1/n  \mmember{}  \mBbbQ{})


By

---

Latex:
ProveWfLemma\mcdot{}

---

Home Index