---

Step * of Lemma es-causl-trans-test

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

---

Latex:


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


By

Auto

---

Home Index