---

Step * of Lemma rset-member-rrange

∀I:Interval. ∀[f:I ⟶ℝ]. ∀r:ℝ. ((r ∈ I) ⇒ (f[r] ∈ f[x](x∈I)))
BY
{ (Auto THEN RepUR ``rrange rset-member`` 0 THEN With ⌜r⌝ (D 0)⋅ THEN Auto) }

---

Latex:

---

Latex:
\mforall{}I:Interval.  \mforall{}[f:I  {}\mrightarrow{}\mBbbR{}].  \mforall{}r:\mBbbR{}.  ((r  \mmember{}  I)  {}\mRightarrow{}  (f[r]  \mmember{}  f[x](x\mmember{}I)))


By

---

Latex:
(Auto  THEN  RepUR  ``rrange  rset-member``  0  THEN  With  \mkleeneopen{}r\mkleeneclose{}  (D  0)\mcdot{}  THEN  Auto)

---

Home Index