Nuprl Definition : fps-neg

-(f) ==  λb.(-r (f b))


Definitions occuring in Statement :  apply: f a,  lambda: λx.A[x],  rng_minus: -r
Definitions occuring in definition :  lambda: λx.A[x],  rng_minus: -r,  apply: f a
FDL editor aliases :  fps-neg
Latex:
-(f)  ==    \mlambda{}b.(-r  (f  b))


Date html generated: 2016_05_15-PM-09_47_31
Last ObjectModification: 2015_09_23-AM-08_21_12

Theory : power!series


Home Index