PrintForm
Definitions
exponent
Sections
AutomataTheory
Doc
At:
nat
mul
1
1.
n:
2.
m:
n
m
By:
Inst
Thm*
a,b:
, n:
. a
b
n
a
n
b [0;m;n]
Generated subgoal:
1
3.
n
0
n
m
n
m
About:
0
nm
nm 
nm 
a,b:
, n:. ab 
nanb
[0;m;n]0nm nm 
