Nuprl Definition : qsub
r - s == r + -(s)
Definitions occuring in Statement :
qmul: r * s,
qadd: r + s,
minus: -n,
natural_number: $n
Definitions occuring in definition :
qadd: r + s,
qmul: r * s,
minus: -n,
natural_number: $n
FDL editor aliases :
qsub
Latex:
r - s == r + -(s)
Date html generated:
2016_05_15-PM-10_39_26
Last ObjectModification:
2015_09_23-AM-08_27_00
Theory : rationals
Home
Index