Nuprl Definition : real-vec-dist
d(x;y) == ||x - y||
Definitions occuring in Statement :
real-vec-norm: ||x||,
real-vec-sub: X - Y
Definitions occuring in definition :
real-vec-sub: X - Y,
real-vec-norm: ||x||
FDL editor aliases :
real-vec-dist
Latex:
d(x;y) == ||x - y||
Date html generated:
2016_10_26-AM-10_24_25
Last ObjectModification:
2016_09_14-PM-06_27_54
Theory : reals
Home
Index