PrintForm
Definitions
exponent
Sections
AutomataTheory
Doc
At:
geom
series
limit
1
2
1.
q:
0 <
(q
0
)+(q
0)
By:
RecUnfold `geom_series` 0
THEN
RecUnfold `exp` 0
THEN
Reduce 0
Generated subgoals:
None
About:
0 < 
(q
0
)+(q0)
