---

Step * of Lemma separable-kernel_wf

∀[rv:InnerProductSpace]. ∀[e:Point]. ∀[f:{h:Point| h ⋅ e = r0}  ⟶ ℝ ⟶ ℝ].  (separable-kernel(rv;e;f) ∈ ℙ)
BY
{ ProveWfLemma }

---

Latex:

---

Latex:
\mforall{}[rv:InnerProductSpace].  \mforall{}[e:Point].  \mforall{}[f:\{h:Point|  h  \mcdot{}  e  =  r0\}    {}\mrightarrow{}  \mBbbR{}  {}\mrightarrow{}  \mBbbR{}].
    (separable-kernel(rv;e;f)  \mmember{}  \mBbbP{})


By

---

Latex:
ProveWfLemma

---

Home Index