---

Step * of Lemma radd-ac

∀[a,b,c:ℝ].  ((a + b + c) = (b + a + c))
BY
{ Auto⋅ }

---

Latex:

---

Latex:
\mforall{}[a,b,c:\mBbbR{}].    ((a  +  b  +  c)  =  (b  +  a  +  c))


By

---

Latex:
Auto\mcdot{}

---

Home Index