PrintForm
Definitions
exponent
Sections
AutomataTheory
Doc
At:
nat
mul
1
1
1.
n:
2.
m:
3.
n
0
n
m
n
m
By:
Reduce 3
Generated subgoals:
None
About:
0
nm
nm 
