Nuprl Definition : vs-subtract
(x - y) == x + -K 1 * y
Definitions occuring in Statement :
vs-mul: a * x,
vs-add: x + y,
apply: f a,
rng_one: 1,
rng_minus: -r
Definitions occuring in definition :
vs-add: x + y,
vs-mul: a * x,
apply: f a,
rng_minus: -r,
rng_one: 1
FDL editor aliases :
vs-subtract
Latex:
(x - y) == x + -K 1 * y
Date html generated:
2018_05_22-PM-09_42_52
Last ObjectModification:
2018_01_09-PM-02_05_12
Theory : linear!algebra
Home
Index