Nuprl Definition : rsub
x - y == x + -(y)
Definitions occuring in Statement :
rminus: -(x),
radd: a + b
Definitions occuring in definition :
radd: a + b,
rminus: -(x)
FDL editor aliases :
rsub
rsub
Latex:
x - y == x + -(y)
Date html generated:
2016_05_18-AM-06_55_01
Last ObjectModification:
2015_09_23-AM-09_00_51
Theory : reals
Home
Index