---

Step * of Lemma continuous-constant

∀[G:Type]. Continuous+(T.G)
BY
{ (Auto THEN RepeatFor 2 ((D 0 THEN Auto))) }

1
1. G : Type
2. X : ℕ ⟶ Type
⊢ (⋂n:ℕ. G) ⊆r G

---

Latex:

---

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


By

---

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

---

Home Index