---

Step * of Lemma radd-preserves-rneq

∀x,y,z:ℝ.  (x ≠ y ⇐⇒ z + x ≠ z + y)
BY
{ (Auto THEN RepeatFor 2 (ParallelLast) THEN EAuto 1) }

---

Latex:

---

Latex:
\mforall{}x,y,z:\mBbbR{}.    (x  \mneq{}  y  \mLeftarrow{}{}\mRightarrow{}  z  +  x  \mneq{}  z  +  y)


By

---

Latex:
(Auto  THEN  RepeatFor  2  (ParallelLast)  THEN  EAuto  1)

---

Home Index