Nuprl Definition : extracted-rroot

extracted-rroot(i;x) ==  TERMOF{rroot-exists-ext:o, 1:l} i x


Definitions occuring in Statement :  apply: f a
Definitions occuring in definition :  apply: f a
TermOfs occuring in Definition :  rroot-exists-ext
FDL editor aliases :  extracted-rroot
Latex:
extracted-rroot(i;x)  ==    TERMOF\{rroot-exists-ext:o,  1:l\}  i  x


Date html generated: 2016_05_18-AM-09_34_26
Last ObjectModification: 2015_09_23-AM-09_11_38

Theory : reals


Home Index