---

Step * of Lemma i-approx_wf

∀[n:ℕ+]. ∀[I:Interval].  (i-approx(I;n) ∈ Interval)
BY
{ Auto }

---

Latex:

---

Latex:
\mforall{}[n:\mBbbN{}\msupplus{}].  \mforall{}[I:Interval].    (i-approx(I;n)  \mmember{}  Interval)


By

---

Latex:
Auto

---

Home Index