---

Step * 1 of Lemma ln-expr


1. x : ℝ
2. expr(x) ∈ {a:ℝ| r0 < a} 
⊢ ln(expr(x)) = x
BY
{ (RWW "expr-req ln-req" 0 THEN Auto) }

---

Latex:

---

Latex:

1.  x  :  \mBbbR{}
2.  expr(x)  \mmember{}  \{a:\mBbbR{}|  r0  <  a\} 
\mvdash{}  ln(expr(x))  =  x


By

---

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

---

Home Index