Nuprl Definition : isqrtn

isqrtn(x) ==  TERMOF{integer-sqrt-newton-ext:o, 1:l} x


Definitions occuring in Statement :  apply: f a
Definitions occuring in definition :  integer-sqrt-newton-ext,  apply: f a
TermOfs occuring in Definition :  integer-sqrt-newton-ext
FDL editor aliases :  isqrtn
Latex:
isqrtn(x)  ==    TERMOF\{integer-sqrt-newton-ext:o,  1:l\}  x


Date html generated: 2019_06_20-PM-02_36_25
Last ObjectModification: 2019_06_12-PM-00_25_25

Theory : num_thy_1


Home Index