Nuprl Definition : rv-minus
-x == r(-1)*x
Definitions occuring in Statement :
rv-mul: a*x,
int-to-real: r(n),
minus: -n,
natural_number: $n
Definitions occuring in definition :
rv-mul: a*x,
int-to-real: r(n),
minus: -n,
natural_number: $n
FDL editor aliases :
rv-minus
Latex:
-x == r(-1)*x
Date html generated:
2017_10_04-PM-11_50_34
Last ObjectModification:
2017_06_22-PM-06_44_35
Theory : inner!product!spaces
Home
Index