---

Step * 8 of Lemma pes-axioms


1. the_es : EO@i'
⊢ ∀e,e':E.  ((e <loc e') ⇒ (e < e'))
BY
{ Auto }

---

Latex:



1.  the$_{es}$  :  EO@i'
\mvdash{}  \mforall{}e,e':E.    ((e  <loc  e')  {}\mRightarrow{}  (e  <  e'))


By

Auto

---

Home Index