Nuprl Definition : int-minus-comparison
int-minus-comparison(f) == λx,y. ((f x) - f y)
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
Latex:
int-minus-comparison(f) == \mlambda{}x,y. ((f x) - f y)
Date html generated:
2016_05_14-PM-02_36_10
Last ObjectModification:
2015_09_22-PM-05_56_26
Theory : list_1
Home
Index