PrintForm
Definitions
exponent
Sections
AutomataTheory
Doc
At:
exp
zero
1
1.
m:
(0
m) = 0
By:
NSubsetInd 1
Generated subgoals:
1
1.
m:
2.
0 < m
3.
1 = m
(0
m) = 0
2
1.
m:
2.
1 < m
3.
(0
m-1) = 0
(0
m) = 0
About:
(0
m) = 0m-1) = 0 (0m) = 0
(0m) = 0 (0m) = 0m-1) = 0 (0m) = 0
