---

Step * 1 of Lemma sq_stable__ifun


1. [I] : Interval
2. [f] : I ⟶ℝ
3. [%] : icompact(I)
⊢ SqStable(ifun(f;I))
BY
{ (Unfold `ifun` 0 THEN Auto) }

1
.....wf..... 
1. I : Interval
2. f : I ⟶ℝ
3. icompact(I)
⊢ f ∈ [left-endpoint(I), right-endpoint(I)] ⟶ℝ

---

Latex:

---

Latex:

1.  [I]  :  Interval
2.  [f]  :  I  {}\mrightarrow{}\mBbbR{}
3.  [\%]  :  icompact(I)
\mvdash{}  SqStable(ifun(f;I))


By

---

Latex:
(Unfold  `ifun`  0  THEN  Auto)

---

Home Index