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