---

Step * of Lemma not-less-implies-equal

∀x,y:ℤ.  (x = y ∈ ℤ) supposing ((¬x < y) and (¬y < x))
BY
{ Auto }

---

Latex:

---

Latex:
\mforall{}x,y:\mBbbZ{}.    (x  =  y)  supposing  ((\mneg{}x  <  y)  and  (\mneg{}y  <  x))


By

---

Latex:
Auto

---

Home Index