---

Step * of Lemma stream_subtype_base

∀[T:Type]. stream(T) ⊆r Base supposing T ⊆r Base
BY
{ EAuto 2 }

---

Latex:

---

Latex:
\mforall{}[T:Type].  stream(T)  \msubseteq{}r  Base  supposing  T  \msubseteq{}r  Base


By

---

Latex:
EAuto  2

---

Home Index