---

Step * of Lemma minus_functionality_wrt_eq

∀[i,j:ℤ].  (-i) = (-j) ∈ ℤ supposing i = j ∈ ℤ
BY
{ Auto }

---

Latex:

---

Latex:
\mforall{}[i,j:\mBbbZ{}].    (-i)  =  (-j)  supposing  i  =  j


By

---

Latex:
Auto

---

Home Index