Nuprl Definition : sub-vs
(v:vs | P[v]) == Point= {v:Point(vs)| P[v]} zero= 0 x+y= x + y a*u= a * u
Definitions occuring in Statement :
mk-vs: mk-vs,
vs-mul: a * x,
vs-add: x + y,
vs-0: 0,
vs-point: Point(vs),
set: {x:A| B[x]}
Definitions occuring in definition :
mk-vs: mk-vs,
set: {x:A| B[x]} ,
vs-point: Point(vs),
vs-0: 0,
vs-add: x + y,
vs-mul: a * x
FDL editor aliases :
sub-vs
Latex:
(v:vs | P[v]) == Point= \{v:Point(vs)| P[v]\} zero= 0 x+y= x + y a*u= a * u
Date html generated:
2018_05_22-PM-09_42_26
Last ObjectModification:
2017_11_03-PM-00_13_53
Theory : linear!algebra
Home
Index