Nuprl Definition : iter-arcsine-contraction
arcsine-contraction^n(a) == λx.arcsine-contraction(a;x)^n a
Definitions occuring in Statement :
arcsine-contraction: arcsine-contraction(a;x),
fun_exp: f^n,
apply: f a,
lambda: λx.A[x]
Definitions occuring in definition :
arcsine-contraction: arcsine-contraction(a;x),
lambda: λx.A[x],
fun_exp: f^n,
apply: f a
FDL editor aliases :
iter-arcsine-contraction
Latex:
arcsine-contraction\^{}n(a) == \mlambda{}x.arcsine-contraction(a;x)\^{}n a
Date html generated:
2016_10_26-PM-00_45_53
Last ObjectModification:
2016_10_13-PM-08_19_24
Theory : reals_2
Home
Index