Nuprl Definition : trans-kernel
ρ(h;t) == T_t(h) ⋅ e
Definitions occuring in Statement :
trans-apply: T_t(x),
rv-ip: x ⋅ y
Definitions occuring in definition :
rv-ip: x ⋅ y,
trans-apply: T_t(x)
FDL editor aliases :
trans-kernel
Latex:
\mrho{}(h;t) == T\_t(h) \mcdot{} e
Date html generated:
2017_10_05-AM-00_22_23
Last ObjectModification:
2017_06_26-PM-00_45_40
Theory : inner!product!spaces
Home
Index