PrintForm
Definitions
exponent
Sections
AutomataTheory
Doc
At:
enum
surj
1
1
2
1.
q:
2.
a:
3.
n:
4.
(q
n
)
a
5.
a <
(q
n+1
)
a-
(q
n
) < (q
n)
By:
RWH (LemmaC
Thm*
q,n:
.
(q
n+1
) =
(q
n
)+(q
n)
) 5
Generated subgoal:
1
5.
a <
(q
n
)+(q
n)
a-
(q
n
) < (q
n)
About:
(q
n
)+(qn)
a-(qn) < (qn)
(qn)
a(qn+1) a-(qn) < (qn)
q,n:. (qn+1) = (qn)+(qn) 
)
5(qn)+(qn) a-(qn) < (qn)
