PrintForm
Definitions
exponent
Sections
AutomataTheory
Doc
At:
geom
ndecrease
1
1
1.
q:
2.
n:
(q
n
)
(q
n+0
)
By:
Assert (n+0 = n)
Generated subgoal:
1
3.
n+0 = n
(q
n
)
(q
n+0
)
About:
(q
n
)
(qn+0) (qn)(qn+0) (qn)(qn+0)
