Nuprl Definition : fps-elim-x

f(x:=0) ==  fps-elim(x) f


Definitions occuring in Statement :  fps-elim: fps-elim(x),  apply: f a
Definitions occuring in definition :  apply: f a,  fps-elim: fps-elim(x)
FDL editor aliases :  fps-elim-x
Latex:
f(x:=0)  ==    fps-elim(x)  f


Date html generated: 2016_05_15-PM-09_53_16
Last ObjectModification: 2015_09_23-AM-08_21_25

Theory : power!series


Home Index