---

Step * of Lemma equal-iff-diff-zero2

∀x,y:ℤ.  uiff(x = y ∈ ℤ;(y - x) = 0 ∈ ℤ)
BY
{ Auto }

---

Latex:

---

Latex:
\mforall{}x,y:\mBbbZ{}.    uiff(x  =  y;(y  -  x)  =  0)


By

---

Latex:
Auto

---

Home Index