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