---

Step * of Lemma trans-apply_wf

∀rv:InnerProductSpace. ∀T:ℝ ⟶ Point ⟶ Point. ∀x:Point.  ∀[t:ℝ]. (T_t(x) ∈ Point)
BY
{ ProveWfLemma }

---

Latex:

---

Latex:
\mforall{}rv:InnerProductSpace.  \mforall{}T:\mBbbR{}  {}\mrightarrow{}  Point  {}\mrightarrow{}  Point.  \mforall{}x:Point.    \mforall{}[t:\mBbbR{}].  (T\_t(x)  \mmember{}  Point)


By

---

Latex:
ProveWfLemma

---

Home Index