Nuprl Definition : iroot

iroot(n;x) ==  TERMOF{integer-nth-root-ext:o, 1:l} n x


Definitions occuring in Statement :  apply: f a
Definitions occuring in definition :  apply: f a,  integer-nth-root-ext
TermOfs occuring in Definition :  integer-nth-root-ext
FDL editor aliases :  iroot
Latex:
iroot(n;x)  ==    TERMOF\{integer-nth-root-ext:o,  1:l\}  n  x


Date html generated: 2019_06_20-PM-02_33_52
Last ObjectModification: 2019_03_19-AM-10_49_07

Theory : num_thy_1


Home Index