Nuprl Definition : default-partition-choice
default-partition-choice(p) == λi.p[i]
Definitions occuring in Statement :
select: L[n],
lambda: λx.A[x]
Definitions occuring in definition :
lambda: λx.A[x],
select: L[n]
FDL editor aliases :
default-partition-choice
Latex:
default-partition-choice(p) == \mlambda{}i.p[i]
Date html generated:
2016_05_18-AM-10_39_04
Last ObjectModification:
2015_09_23-AM-09_16_24
Theory : reals
Home
Index