---

Step * of Lemma trivial-int-eq1

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

---

Latex:

---

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


By

---

Latex:
Auto

---

Home Index