GenAutomata
Sections
NuprlLIB
Doc
Def
increasing(f;k) ==
i:
(k-1). f(i) < f(i+1)
is mentioned
In prior sections:
mb
nat
mb
list
1
GenAutomata
Sections
NuprlLIB
Doc
i:
(k-1). f(i) < f(i+1)