---

Step * of Lemma continuous-id

Continuous+(T.T)
BY
{ (Auto THEN RepeatFor 3 ((D 0 THEN Auto))) }

---

Latex:

---

Latex:
Continuous+(T.T)


By

---

Latex:
(Auto  THEN  RepeatFor  3  ((D  0  THEN  Auto)))

---

Home Index