Nuprl Definition : rn-prod-metric
rn-prod-metric(n) == prod-metric(n;λi.rmetric())
Definitions occuring in Statement :
prod-metric: prod-metric(k;d),
rmetric: rmetric(),
lambda: λx.A[x]
Definitions occuring in definition :
prod-metric: prod-metric(k;d),
lambda: λx.A[x],
rmetric: rmetric()
FDL editor aliases :
rn-prod-metric
Latex:
rn-prod-metric(n) == prod-metric(n;\mlambda{}i.rmetric())
Date html generated:
2019_10_30-AM-08_32_43
Last ObjectModification:
2019_10_02-AM-11_00_29
Theory : reals
Home
Index