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