Nuprl Definition : isqrt

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


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


Date html generated: 2016_05_15-PM-05_17_37
Last ObjectModification: 2015_09_23-AM-07_52_59

Theory : general


Home Index