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