Nuprl Definition : rsqrt

rsqrt(x) ==  rroot(2;x)


Definitions occuring in Statement :  rroot: rroot(i;x),  natural_number: $n
Definitions occuring in definition :  rroot: rroot(i;x),  natural_number: $n
FDL editor aliases :  rsqrt rsqrt
Latex:
rsqrt(x)  ==    rroot(2;x)


Date html generated: 2016_05_18-AM-09_42_42
Last ObjectModification: 2015_09_23-AM-09_12_26

Theory : reals


Home Index