---

Step * of Lemma expr-ln

∀x:ℝ. ((r0 < x) ⇒ (expr(ln(x)) = x))
BY
{ (Auto THEN RWW "expr-req ln-req" 0 THEN Auto) }

---

Latex:

---

Latex:
\mforall{}x:\mBbbR{}.  ((r0  <  x)  {}\mRightarrow{}  (expr(ln(x))  =  x))


By

---

Latex:
(Auto  THEN  RWW  "expr-req  ln-req"  0  THEN  Auto)

---

Home Index