---

Step * of Lemma nequal-le-implies

∀[x,y:ℤ].  ((x + 1) ≤ y) supposing ((x ≤ y) and y ≠ x)
BY
{ Auto }

---

Latex:

---

Latex:
\mforall{}[x,y:\mBbbZ{}].    ((x  +  1)  \mleq{}  y)  supposing  ((x  \mleq{}  y)  and  y  \mneq{}  x)


By

---

Latex:
Auto

---

Home Index