Nuprl Definition : functions-list

functions-list(n;b) ==  TERMOF{list-functions:o, 1:l} n b


Definitions occuring in Statement :  apply: f a
Definitions occuring in definition :  apply: f a,  list-functions
TermOfs occuring in Definition :  list-functions
FDL editor aliases :  functions-list
Latex:
functions-list(n;b)  ==    TERMOF\{list-functions:o,  1:l\}  n  b


Date html generated: 2018_05_21-PM-08_24_19
Last ObjectModification: 2017_12_14-PM-06_37_13

Theory : general


Home Index