Nuprl Definition : rv-sub

x - y ==  x + -y


Definitions occuring in Statement :  rv-minus: -x,  rv-add: x + y
Definitions occuring in definition :  rv-minus: -x,  rv-add: x + y
FDL editor aliases :  rv-sub
Latex:
x  -  y  ==    x  +  -y


Date html generated: 2016_11_08-AM-09_15_18
Last ObjectModification: 2016_10_31-PM-03_21_01

Theory : inner!product!spaces


Home Index