---

Step * of Lemma test-omega

∀x,y,z:ℤ.  ((1 ≤ ((2 * x) + (2 * y))) ⇒ ((2 * x) ≤ ((2 * y) + 1)) ⇒ (2 ≤ (3 * y)))
BY
{ Auto }

---

Latex:

---

Latex:
\mforall{}x,y,z:\mBbbZ{}.    ((1  \mleq{}  ((2  *  x)  +  (2  *  y)))  {}\mRightarrow{}  ((2  *  x)  \mleq{}  ((2  *  y)  +  1))  {}\mRightarrow{}  (2  \mleq{}  (3  *  y)))


By

---

Latex:
Auto

---

Home Index