mb hybrid Sections GenAutomata Doc

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

is mentioned

In prior sections: mb nat mb list 1

Try larger context: GenAutomata

mb hybrid Sections GenAutomata Doc