---

Step * of Lemma es-le-iff-causle

∀es:EO. ∀e,e':E.  (e ≤loc e'  ⇐⇒ e c≤ e' ∧ (loc(e) = loc(e') ∈ Id))
BY
{ Auto }

---

Latex:


\mforall{}es:EO.  \mforall{}e,e':E.    (e  \mleq{}loc  e'    \mLeftarrow{}{}\mRightarrow{}  e  c\mleq{}  e'  \mwedge{}  (loc(e)  =  loc(e')))


By

Auto

---

Home Index