Nuprl Definition : dist-fun

dist-fun(d;x) ==  λa.mdist(d;x;a)


Definitions occuring in Statement :  mdist: mdist(d;x;y),  lambda: λx.A[x]
Definitions occuring in definition :  mdist: mdist(d;x;y),  lambda: λx.A[x]
FDL editor aliases :  dist-fun
Latex:
dist-fun(d;x)  ==    \mlambda{}a.mdist(d;x;a)


Date html generated: 2019_10_30-AM-07_11_19
Last ObjectModification: 2019_10_25-PM-04_28_33

Theory : reals


Home Index