---

Step * of Lemma Inorm_wf

∀[I:{I:Interval| icompact(I)} ]. ∀[f:I ⟶ℝ]. ∀[mc:f[x] continuous for x ∈ I].  (||f[x]||_I ∈ ℝ)
BY
{ ProveWfLemma }

---

Latex:

---

Latex:
\mforall{}[I:\{I:Interval|  icompact(I)\}  ].  \mforall{}[f:I  {}\mrightarrow{}\mBbbR{}].  \mforall{}[mc:f[x]  continuous  for  x  \mmember{}  I].    (||f[x]||\_I  \mmember{}  \mBbbR{})


By

---

Latex:
ProveWfLemma

---

Home Index