Nuprl Definition : rstar
(x)* == λn.x
Definitions occuring in Statement :
lambda: λx.A[x]
Definitions occuring in definition :
lambda: λx.A[x]
FDL editor aliases :
rstar
Latex:
(x)* == \mlambda{}n.x
Date html generated:
2018_05_22-PM-03_17_48
Last ObjectModification:
2017_10_06-PM-03_34_26
Theory : reals_2
Home
Index