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