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