Nuprl Definition : fastfib

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


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


Date html generated: 2016_05_14-PM-04_25_39
Last ObjectModification: 2016_01_05-PM-00_16_07

Theory : num_thy_1


Home Index