Nuprl Definition : vs-exp
V^S == Σs:S. V
Definitions occuring in Statement :
vs-sum: Σs:S. V[s]
Definitions occuring in definition :
vs-sum: Σs:S. V[s]
FDL editor aliases :
vs-exp
Latex:
V\^{}S == \mSigma{}s:S. V
Date html generated:
2018_05_22-PM-09_42_34
Last ObjectModification:
2017_11_09-PM-01_35_32
Theory : linear!algebra
Home
Index