Nuprl Definition : free-vs
free-vs(K;S) == Point= formal-sum(K;S) zero= {} x+y= x + y k*x= k * x
Definitions occuring in Statement :
formal-sum-add: x + y,
formal-sum: formal-sum(K;S),
formal-sum-mul: k * x,
mk-vs: mk-vs,
empty-bag: {}
Definitions occuring in definition :
mk-vs: mk-vs,
formal-sum: formal-sum(K;S),
empty-bag: {},
formal-sum-add: x + y,
formal-sum-mul: k * x
FDL editor aliases :
free-vs
Latex:
free-vs(K;S) == Point= formal-sum(K;S) zero= \{\} x+y= x + y k*x= k * x
Date html generated:
2018_05_22-PM-09_46_06
Last ObjectModification:
2017_11_17-PM-03_05_44
Theory : linear!algebra
Home
Index