---

Step * of Lemma radd-rminus-both

∀[x:ℝ]. (((x + -(x)) = r0) ∧ ((-(x) + x) = r0))
BY
{ Auto }

---

Latex:

---

Latex:
\mforall{}[x:\mBbbR{}].  (((x  +  -(x))  =  r0)  \mwedge{}  ((-(x)  +  x)  =  r0))


By

---

Latex:
Auto

---

Home Index