Nuprl Definition : rccp-dist
dist(x, |K|) == dist(x;|K|)
Definitions occuring in Statement :
rccp-compact: rccp-compact(k;K),
rat-cube-complex-polyhedron: |K|,
rn-prod-metric: rn-prod-metric(n),
compact-dist: dist(x;A)
Definitions occuring in definition :
rccp-compact: rccp-compact(k;K),
rn-prod-metric: rn-prod-metric(n),
rat-cube-complex-polyhedron: |K|,
compact-dist: dist(x;A)
FDL editor aliases :
rccp-dist
rccp-dist
Latex:
dist(x, |K|) == dist(x;|K|)
Date html generated:
2019_10_31-AM-06_04_12
Last ObjectModification:
2019_10_30-PM-04_18_51
Theory : real!vectors
Home
Index