Nuprl Definition : fastexp

i^n ==  TERMOF{efficient-exp-ext:o, 1:l} i n


Definitions occuring in Statement :  apply: f a
Definitions occuring in definition :  apply: f a,  efficient-exp-ext
TermOfs occuring in Definition :  efficient-exp-ext
FDL editor aliases :  fastexp
Latex:
i\^{}n  ==    TERMOF\{efficient-exp-ext:o,  1:l\}  i  n


Date html generated: 2018_05_21-PM-01_07_33
Last ObjectModification: 2018_01_28-PM-02_02_36

Theory : num_thy_1


Home Index