Nuprl Definition : qdist

qdist(r;s) ==  |r - s|


Definitions occuring in Statement :  qabs: |r|,  qsub: r - s
Definitions occuring in definition :  qabs: |r|,  qsub: r - s
FDL editor aliases :  qdist
Latex:
qdist(r;s)  ==    |r  -  s|


Date html generated: 2016_05_15-PM-11_05_09
Last ObjectModification: 2015_09_23-AM-08_27_25

Theory : rationals


Home Index