---

Step * of Lemma radd-preserves-req

∀[x,y,z:ℝ].  uiff(x = y;(z + x) = (z + y))
BY
{ Auto }

1
1. x : ℝ
2. y : ℝ
3. z : ℝ
4. (z + x) = (z + y)
⊢ x = y

---

Latex:

---

Latex:
\mforall{}[x,y,z:\mBbbR{}].    uiff(x  =  y;(z  +  x)  =  (z  +  y))


By

---

Latex:
Auto

---

Home Index