---

Step * of Lemma es-le_weakening

∀es:EO. ∀a,b:E.  ((a <loc b) ⇒ a ≤loc b )
BY
{ Auto }

---

Latex:


\mforall{}es:EO.  \mforall{}a,b:E.    ((a  <loc  b)  {}\mRightarrow{}  a  \mleq{}loc  b  )


By

Auto

---

Home Index