---

Step * of Lemma continuous-monotone-constant

∀[G:Type]. ContinuousMonotone(T.G)
BY
{ (Auto THEN RepeatFor 3 ((D 0 THEN Auto))) }

---

Latex:

---

Latex:
\mforall{}[G:Type].  ContinuousMonotone(T.G)


By

---

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

---

Home Index