PrintForm
Definitions
exponent
Sections
AutomataTheory
Doc
At:
fun
enumer
1
1
2
1
2
1
1
1
1
1
1
1
1.
n:
2.
b:
3.
0
b < 1
0 = b
(n
0)
By:
Auto
Generated subgoal:
1
1.
n:
2.
0
n
3.
b:
4.
0
b
5.
b < 1
0 < (n
0)
About:
nb
0 < (n
0)
b < 1 0 = b 
(n0)nb 0 < (n0)
