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 :
un-ctrex1: un-ctrex1(x),
int-rdiv: (a)/k1,
int-to-real: r(n),
fastexp: i^n,
natural_number: $n
FDL editor aliases :
small-ctrex1
Latex:
small-ctrex1() == un-ctrex1(un-ctrex1((r1)/10\^{}126))
Date html generated:
2016_05_18-AM-10_48_00
Last ObjectModification:
2015_09_23-AM-09_17_06
Theory : reals
Home
Index