Nuprl Definition : fadd

fadd(f;g) ==  λi.((f i) + (g i))


Definitions occuring in Statement :  apply: f a,  lambda: λx.A[x],  add: n + m
Definitions occuring in definition :  lambda: λx.A[x],  add: n + m,  apply: f a
FDL editor aliases :  fadd
Latex:
fadd(f;g)  ==    \mlambda{}i.((f  i)  +  (g  i))


Date html generated: 2016_05_14-PM-09_29_59
Last ObjectModification: 2015_09_22-PM-06_03_14

Theory : num_thy_1


Home Index