---

Step * of Lemma equal-iff-diff-zero

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

---

Latex:

---

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


By

---

Latex:
Auto

---

Home Index