PrintForm
Definitions
exponent
Sections
AutomataTheory
Doc
At:
geom
series
wf
4
1.
q:
2.
n:
3.
0 < n
4.
(q
n-1
)
5.
n = 0
(q
n-1
)+(q
n-1)
By:
BackThru
Thm*
n,m:
. n+m
Generated subgoals:
None
About:
(q
n-1
) 
n = 0
(qn-1)+(qn-1) 
n,m:. n+m 
