Nuprl Definition : find-ge

find-ge(f;n) ==  fst(find-xover(f;n;n;1))


Definitions occuring in Statement :  find-xover: find-xover(f;m;n;step),  pi1: fst(t),  natural_number: $n
Definitions occuring in definition :  pi1: fst(t),  find-xover: find-xover(f;m;n;step),  natural_number: $n
FDL editor aliases :  find-ge
Latex:
find-ge(f;n)  ==    fst(find-xover(f;n;n;1))


Date html generated: 2016_05_14-AM-07_28_27
Last ObjectModification: 2015_09_22-PM-05_46_27

Theory : int_2


Home Index