---

Step * of Lemma translation-group-fun_wf

∀rv:InnerProductSpace. ∀e:Point. ∀T:ℝ ⟶ Point ⟶ Point.  (translation-group-fun(rv;e;T) ∈ ℙ)
BY
{ ProveWfLemma }

---

Latex:

---

Latex:
\mforall{}rv:InnerProductSpace.  \mforall{}e:Point.  \mforall{}T:\mBbbR{}  {}\mrightarrow{}  Point  {}\mrightarrow{}  Point.    (translation-group-fun(rv;e;T)  \mmember{}  \mBbbP{})


By

---

Latex:
ProveWfLemma

---

Home Index