Nuprl Definition : one-dim-vs
one-dim-vs(K) == Point= |K| zero= 0 a+b= a +K b a*b= a * b
Definitions occuring in Statement :
mk-vs: mk-vs,
infix_ap: x f y,
rng_times: *,
rng_zero: 0,
rng_plus: +r,
rng_car: |r|
Definitions occuring in definition :
mk-vs: mk-vs,
rng_car: |r|,
rng_zero: 0,
rng_plus: +r,
infix_ap: x f y,
rng_times: *
FDL editor aliases :
one-dim-vs
Latex:
one-dim-vs(K) == Point= |K| zero= 0 a+b= a +K b a*b= a * b
Date html generated:
2018_05_22-PM-09_41_52
Last ObjectModification:
2017_11_02-PM-05_36_12
Theory : linear!algebra
Home
Index