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
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: 2016_05_15-PM-04_47_29
Last ObjectModification: 2015_09_23-AM-07_50_20

Theory : general


Home Index