Nuprl Definition : rv-congruent

ab=cd ==  d(a;b) = d(c;d)


Definitions occuring in Statement :  real-vec-dist: d(x;y),  req: x = y
Definitions occuring in definition :  real-vec-dist: d(x;y),  req: x = y
FDL editor aliases :  rv-congruent
Latex:
ab=cd  ==    d(a;b)  =  d(c;d)


Date html generated: 2016_10_26-AM-10_27_38
Last ObjectModification: 2016_09_25-PM-01_00_14

Theory : reals


Home Index