---

Step * 1 of Lemma rlog_wf


1. x : {x:ℝ| r0 < x} 
2. r0 < rmin(r1;x)
3. ∀t:ℝ. ((t ∈ [rmin(r1;x), rmax(r1;x)]) ⇒ t ≠ r0)
⊢ rlog(x) ∈ ℝ
BY
{ ProveWfLemma }

---

Latex:

---

Latex:

1.  x  :  \{x:\mBbbR{}|  r0  <  x\} 
2.  r0  <  rmin(r1;x)
3.  \mforall{}t:\mBbbR{}.  ((t  \mmember{}  [rmin(r1;x),  rmax(r1;x)])  {}\mRightarrow{}  t  \mneq{}  r0)
\mvdash{}  rlog(x)  \mmember{}  \mBbbR{}


By

---

Latex:
ProveWfLemma

---

Home Index