PrintForm
Definitions
exponent
Sections
AutomataTheory
Doc
At:
exp
zero
1
1
2
1
1.
m:
2.
0 < m
3.
1 = m
4.
m = 0
5.
m-1 = 0
0
(0
m-1) = 0
By:
RWH (LemmaC Thm*
a,b:
. a
b = b
a) 0
Generated subgoal:
1
(0
m-1)
0 = 0
About:
(0
m-1)
0 = 0
m = 0 0(0m-1) = 0
a,b:. ab = ba) 0 (0m-1)0 = 0
