---

Step * of Lemma continuous-monotone-id

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

---

Latex:

---

Latex:
ContinuousMonotone(T.T)


By

---

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

---

Home Index