Nuprl Definition : rminus

-(x) ==  λn.(-(x n))


Definitions occuring in Statement :  apply: f a,  lambda: λx.A[x],  minus: -n
Definitions occuring in definition :  lambda: λx.A[x],  minus: -n,  apply: f a
FDL editor aliases :  rminus rminus
Latex:
-(x)  ==    \mlambda{}n.(-(x  n))


Date html generated: 2016_05_18-AM-06_48_44
Last ObjectModification: 2015_09_23-AM-09_00_41

Theory : reals


Home Index