---

Step * 2 1 of Lemma select-data-stream

.....wf..... 
1. L : Top List
2. P : Top
3. i : ℕ
4. ¬i < ||L||
⊢ i ∈ ℕ
BY
{ Auto }

---

Latex:

---

Latex:
.....wf..... 
1.  L  :  Top  List
2.  P  :  Top
3.  i  :  \mBbbN{}
4.  \mneg{}i  <  ||L||
\mvdash{}  i  \mmember{}  \mBbbN{}


By

---

Latex:
Auto

---

Home Index