---

Step * of Lemma i-approx-approx

∀I:Interval. ∀n,m:Top.  (i-approx(i-approx(I;n);m) ~ i-approx(I;n))
BY
{ ((D 0 THENA Auto) THEN D 1 THEN DProdsAndUnions THEN RepUR ``i-approx`` 0 THEN Auto) }

---

Latex:

---

Latex:
\mforall{}I:Interval.  \mforall{}n,m:Top.    (i-approx(i-approx(I;n);m)  \msim{}  i-approx(I;n))


By

---

Latex:
((D  0  THENA  Auto)  THEN  D  1  THEN  DProdsAndUnions  THEN  RepUR  ``i-approx``  0  THEN  Auto)

---

Home Index