---

Step * of Lemma es-le-trans3

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

---

Latex:


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


By

Auto

---

Home Index