---

Step * of Lemma IVTlog_wf

∀a:{a:ℝ| r0 < a} . (IVTlog(a) ∈ {x:ℝ| x = rlog(a)} )
BY
{ ProveWfLemma }

---

Latex:

---

Latex:
\mforall{}a:\{a:\mBbbR{}|  r0  <  a\}  .  (IVTlog(a)  \mmember{}  \{x:\mBbbR{}|  x  =  rlog(a)\}  )


By

---

Latex:
ProveWfLemma

---

Home Index