---

Step * of Lemma rfun_subtype

∀[I,J:Interval].  I ⟶ℝ ⊆r J ⟶ℝ supposing J ⊆ I 
BY
{ (Unfold `rfun` 0 THEN Auto) }

---

Latex:

---

Latex:
\mforall{}[I,J:Interval].    I  {}\mrightarrow{}\mBbbR{}  \msubseteq{}r  J  {}\mrightarrow{}\mBbbR{}  supposing  J  \msubseteq{}  I 


By

---

Latex:
(Unfold  `rfun`  0  THEN  Auto)

---

Home Index