Nuprl Definition : slowfib

slowfib(n) ==  TERMOF{less-fast-fib-ext:o, 1:l} n


Definitions occuring in Statement :  apply: f a
Definitions occuring in definition :  apply: f a,  less-fast-fib-ext
TermOfs occuring in Definition :  less-fast-fib-ext
FDL editor aliases :  slowfib
Latex:
slowfib(n)  ==    TERMOF\{less-fast-fib-ext:o,  1:l\}  n


Date html generated: 2016_05_14-PM-04_26_02
Last ObjectModification: 2016_01_05-PM-00_16_01

Theory : num_thy_1


Home Index