---

Step * of Lemma rexp-rlog

∀[x:{x:ℝ| r0 < x} ]. (e^rlog(x) = x)
BY
{ (Auto THEN D -1 THEN (Unhide THENA Auto)) }

1
1. x : ℝ
2. r0 < x
⊢ e^rlog(x) = x

---

Latex:

---

Latex:
\mforall{}[x:\{x:\mBbbR{}|  r0  <  x\}  ].  (e\^{}rlog(x)  =  x)


By

---

Latex:
(Auto  THEN  D  -1  THEN  (Unhide  THENA  Auto))

---

Home Index