MarkB
generic
Sections
NuprlLIB
Doc
Def
nondecreasing(f;k) ==
i:
(k-1). f(i)
f(i+1)
is mentioned
In prior sections:
mb
nat
MarkB
generic
Sections
NuprlLIB
Doc
i:
(k-1). f(i)
f(i+1)