Nuprl Definition : vs-neg
-(x) == -K 1 * x
Definitions occuring in Statement :
vs-mul: a * x,
apply: f a,
rng_one: 1,
rng_minus: -r
Definitions occuring in definition :
vs-mul: a * x,
apply: f a,
rng_minus: -r,
rng_one: 1
FDL editor aliases :
vs-neg
Latex:
-(x) == -K 1 * x
Date html generated:
2018_05_22-PM-09_41_00
Last ObjectModification:
2017_11_02-PM-05_13_00
Theory : linear!algebra
Home
Index