PrintForm
Definitions
exponent
Sections
AutomataTheory
Doc
At:
exp
non
zero
1
2
2
1.
m:
2.
n:
3.
0 < n
4.
0 < (m
n-1)
5.
n = 0
0 < m
(m
n-1)
By:
Inst
Thm*
a,b:
, n:
. a < b
n
a < n
b [0;(m
n-1);m]
Generated subgoals:
None
About:
n-1)
n = 0
0 < m
(mn-1)
a,b:, n:. a < b 
na < nb
[0;(mn-1);m]
