PrintForm
Definitions
exponent
Sections
AutomataTheory
Doc
At:
geom
ndecrease
q,n,i:
.
(q
n
)
(q
n+i
)
By:
UnivCD
Generated subgoal:
1
1.
q:
2.
n:
3.
i:
(q
n
)
(q
n+i
)
About:
(q
n
)
(qn+i) 
q,n,i:. (qn)(qn+i) (qn)(qn+i)
