Nuprl Definition : int-minus-comparison-inc
int-minus-comparison-inc(f) == λx,y. ((f y) - f x)
Definitions occuring in Statement :
apply: f a,
lambda: λx.A[x],
subtract: n - m
Definitions occuring in definition :
lambda: λx.A[x],
subtract: n - m,
apply: f a
FDL editor aliases :
int-minus-comparison-inc
Latex:
int-minus-comparison-inc(f) == \mlambda{}x,y. ((f y) - f x)
Date html generated:
2016_05_14-PM-02_36_25
Last ObjectModification:
2015_09_22-PM-05_56_32
Theory : list_1
Home
Index