Nuprl Definition : m-sphere
m-sphere(X;d;c;r) == {x:X| mdist(d;c;x) = r}
Definitions occuring in Statement :
mdist: mdist(d;x;y),
req: x = y,
set: {x:A| B[x]}
FDL editor aliases :
m-sphere
Latex:
m-sphere(X;d;c;r) == \{x:X| mdist(d;c;x) = r\}
Date html generated:
2020_05_20-AM-11_46_29
Last ObjectModification:
2019_11_07-AM-10_28_04
Theory : reals
Home
Index