Nuprl Definition : power-vs
K^S == one-dim-vs(K)^S
Definitions occuring in Statement :
vs-exp: V^S,
one-dim-vs: one-dim-vs(K)
Definitions occuring in definition :
vs-exp: V^S,
one-dim-vs: one-dim-vs(K)
FDL editor aliases :
power-vs
Latex:
K\^{}S == one-dim-vs(K)\^{}S
Date html generated:
2018_05_22-PM-09_42_38
Last ObjectModification:
2017_11_09-PM-01_38_21
Theory : linear!algebra
Home
Index