---

Step * of Lemma subtract-elim

∀[x,y:ℤ].  (x - y ~ x + (-y))
BY
{ Auto }

---

Latex:

---

Latex:
\mforall{}[x,y:\mBbbZ{}].    (x  -  y  \msim{}  x  +  (-y))


By

---

Latex:
Auto

---

Home Index