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