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 :
select: L[n],
lambda: λx.A[x]
FDL editor aliases :
default-partition-choice
Latex:
default-partition-choice(p) == \mlambda{}i.p[i]
Date html generated:
2016_10_26-AM-11_55_54
Last ObjectModification:
2016_09_12-PM-05_37_15
Theory : reals_2
Home
Index