PrintForm
Definitions
exponent
Sections
AutomataTheory
Doc
At:
geom
series
step
1
2
1
2
1.
q:
2.
n:
3.
n+1 = 0
4.
n+1-1 = n
5.
z:
(q
z
)+(q
z) =
(q
n
)+(q
n)
Prop
By:
Analyze
Generated subgoals:
1
Type
2
(q
z
)+(q
z)
3
(q
n
)+(q
n)
About:
Type 
(q
z
)+(qz) (qn)+(qn) 
n+1 = 0 (qz)+(qz) = (qn)+(qn) Prop Type (qz)+(qz) (qn)+(qn) 
