MarkB generic 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


MarkB generic Sections NuprlLIB Doc