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