PrintForm
Definitions
exponent
Sections
AutomataTheory
Doc
At:
exp
wf2
1
1.
n:
2.
k:
(n
k)
By:
NatInd 2
Generated subgoals:
1
(n
0)
2
2.
k:
3.
0 < k
4.
(n
k-1)
(n
k)
About:
(n
0) 
k-1) (nk) (nk) (n0) k-1) (nk) 
