PrintForm
Definitions
exponent
Sections
AutomataTheory
Doc
At:
exp
zero
m:
. (0
m) = 0
By:
Analyze 0
Generated subgoal:
1
1.
m:
(0
m) = 0
About:
(0
m) = 0 
m:. (0m) = 0 (0m) = 0
