Nuprl Definition : simplex-metric
simplex-metric(n) == rn-metric(n + 1)
Definitions occuring in Statement :
rn-metric: rn-metric(n),
add: n + m,
natural_number: $n
Definitions occuring in definition :
rn-metric: rn-metric(n),
add: n + m,
natural_number: $n
FDL editor aliases :
simplex-metric
Latex:
simplex-metric(n) == rn-metric(n + 1)
Date html generated:
2019_10_30-AM-11_30_35
Last ObjectModification:
2019_08_02-PM-01_50_24
Theory : real!vectors
Home
Index