graph 1 3 Sections Graphs Doc

Def increasing(f;k) == i:(k-1). f(i) < f(i+1)

is mentioned

In prior sections: mb nat mb list 1 graph 1 1 graph 1 2

Try larger context: Graphs

graph 1 3 Sections Graphs Doc