PrintForm
Definitions
exponent
Sections
AutomataTheory
Doc
At:
en
surj
2
1
1
1.
n:
2.
m:
3.
0 < m
4.
k:
(n
m)
0
(k
n)
By:
BackThru
Thm*
a:
, n:
. 0
(a
n)
Generated subgoals:
None
About:
(n
m)
0
(k 
n)
a:, n:. 0(a n)
