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