---

Step * of Lemma radd-zero-both

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

---

Latex:

---

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


By

---

Latex:
Auto

---

Home Index