PrintForm
Definitions
exponent
Sections
AutomataTheory
Doc
At:
exp
non
zero
1
2
1.
m:
2.
n:
3.
0 < n
4.
0 < (m
n-1)
0 < (m
n)
By:
RecCaseSplit `exp`
Generated subgoals:
1
5.
n = 0
0 < 1
2
5.
n = 0
0 < m
(m
n-1)
About:
0 < 1
n = 0 0 < m
(m
n-1)
n-1) 0 < (mn) 0 < 1n = 0 0 < m(mn-1)
