---

Step * 1 of Lemma es-causl-test


1. es : EO@i'
2. e1 : E@i
3. e2 : E@i
4. e3 : E@i
5. (e1 < e2)@i
6. (e2 < e3)@i
⊢ (e1 < e3)
BY
{ Auto }

---

Latex:



1.  es  :  EO@i'
2.  e1  :  E@i
3.  e2  :  E@i
4.  e3  :  E@i
5.  (e1  <  e2)@i
6.  (e2  <  e3)@i
\mvdash{}  (e1  <  e3)


By

Auto

---

Home Index