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