Step * 1 2 1 of Lemma es-interval-eq


1. es EO
2. E
3. List@i
⊢ (v [] ∈ (E List))  (v [])
BY
(-1) }

1
1. es EO
2. E
⊢ ([] [] ∈ (E List))  ([] [])

2
1. es EO
2. E
3. E
4. List
⊢ ([u v] [] ∈ (E List))  ([u v] [])


Latex:



1.  es  :  EO
2.  e  :  E
3.  v  :  E  List@i
\mvdash{}  (v  =  [])  {}\mRightarrow{}  (v  \msim{}  [])


By

D  (-1)




Home Index