---

Step * of Lemma es-causle_weakening

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

1
1. es : EO@i'
2. a : E@i
3. b : E@i
4. (a < b)@i
⊢ a c≤ b

---

Latex:


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


By

Auto

---

Home Index