---

Step * of Lemma rnexp-add

∀[n,m:ℕ]. ∀[x:ℝ].  ((x^n * x^m) = x^n + m)
BY
{ xxx(Auto THEN Auto')xxx }

1
1. n : ℕ
2. m : ℕ
3. x : ℝ
⊢ (x^n * x^m) = x^n + m

---

Latex:

---

Latex:
\mforall{}[n,m:\mBbbN{}].  \mforall{}[x:\mBbbR{}].    ((x\^{}n  *  x\^{}m)  =  x\^{}n  +  m)


By

---

Latex:
xxx(Auto  THEN  Auto')xxx

---

Home Index