Nuprl Definition : mdist

mdist(d;x;y) ==  d x y


Definitions occuring in Statement :  apply: f a
Definitions occuring in definition :  apply: f a
FDL editor aliases :  mdist
Latex:
mdist(d;x;y)  ==    d  x  y


Date html generated: 2019_10_29-AM-10_56_56
Last ObjectModification: 2019_10_02-AM-09_38_53

Theory : reals


Home Index