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