Nuprl Definition : reg-seq-add

reg-seq-add(x;y) ==  λn.((x n) + (y n))


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 :  reg-seq-add
Latex:
reg-seq-add(x;y)  ==    \mlambda{}n.((x  n)  +  (y  n))


Date html generated: 2016_05_18-AM-06_48_21
Last ObjectModification: 2015_09_23-AM-09_00_39

Theory : reals


Home Index