---

Step * of Lemma stable__real-fun

∀[a,b:ℝ]. ∀[f:[a, b] ⟶ℝ].  Stable{real-fun(f;a;b)}
BY
{ ((Unfold `real-fun` 0 THEN Auto) THEN RepeatFor 3 ((BLemma `stable__all` THEN Auto))) }

---

Latex:

---

Latex:
\mforall{}[a,b:\mBbbR{}].  \mforall{}[f:[a,  b]  {}\mrightarrow{}\mBbbR{}].    Stable\{real-fun(f;a;b)\}


By

---

Latex:
((Unfold  `real-fun`  0  THEN  Auto)  THEN  RepeatFor  3  ((BLemma  `stable\_\_all`  THEN  Auto)))

---

Home Index