---

Step * of Lemma test-es-causl

∀es:EO. ∀e1,e2,e3:E.  ((e1 < e2) ⇒ (e2 < e3) ⇒ (e1 < e3))
BY
{ MaAuto }

---

Latex:

---

Latex:
\mforall{}es:EO.  \mforall{}e1,e2,e3:E.    ((e1  <  e2)  {}\mRightarrow{}  (e2  <  e3)  {}\mRightarrow{}  (e1  <  e3))


By

---

Latex:
MaAuto

---

Home Index