Step
*
of Lemma
trans-kernel_wf
∀[rv:InnerProductSpace]. ∀[e:Point]. ∀[T:ℝ ⟶ Point ⟶ Point]. ∀[t:ℝ]. ∀[h:{h:Point| h ⋅ e = r0} ]. (ρ(h;t) ∈ ℝ)
BY
{ ProveWfLemma }
Latex:
Latex:
\mforall{}[rv:InnerProductSpace]. \mforall{}[e:Point]. \mforall{}[T:\mBbbR{} {}\mrightarrow{} Point {}\mrightarrow{} Point]. \mforall{}[t:\mBbbR{}]. \mforall{}[h:\{h:Point| h \mcdot{} e = r0\} ].
(\mrho{}(h;t) \mmember{} \mBbbR{})
By
Latex:
ProveWfLemma
Home
Index