Nuprl Definition : find-ge-val
find-ge-val(test;f;n) == let v,n,m = find-xover-val(test;f;n;n;1) in <v, n>
Definitions occuring in Statement :
find-xover-val: find-xover-val(test;f;m;n;step),
spreadn: spread3,
pair: <a, b>,
natural_number: $n
Definitions occuring in definition :
spreadn: spread3,
find-xover-val: find-xover-val(test;f;m;n;step),
natural_number: $n,
pair: <a, b>
FDL editor aliases :
find-ge-val
Latex:
find-ge-val(test;f;n) == let v,n,m = find-xover-val(test;f;n;n;1) in <v, n>
Date html generated:
2019_06_20-PM-01_16_34
Last ObjectModification:
2019_01_09-PM-04_09_10
Theory : int_2
Home
Index