Nuprl Definition : small-ctrex1
small-ctrex1() == un-ctrex1(un-ctrex1((r1)/10^126))
Definitions occuring in Statement :
un-ctrex1: un-ctrex1(x),
int-rdiv: (a)/k1,
int-to-real: r(n),
natural_number: $n,
fastexp: i^n
Definitions occuring in definition :
natural_number: $n,
fastexp: i^n,
int-to-real: r(n),
int-rdiv: (a)/k1,
un-ctrex1: un-ctrex1(x)
FDL editor aliases :
small-ctrex1
Latex:
small-ctrex1() == un-ctrex1(un-ctrex1((r1)/10\^{}126))
Date html generated:
2016_10_26-PM-00_50_57
Last ObjectModification:
2016_09_12-PM-05_46_38
Theory : reals_2
Home
Index