PrintForm
Definitions
exponent
Sections
AutomataTheory
Doc
At:
exp
wf2
1
2
1.
n:
2.
k:
3.
0 < k
4.
(n
k-1)
(n
k)
By:
RecCaseSplit `exp`
Generated subgoal:
1
5.
k = 0
0
n
(n
k-1)
About:
k = 0
0
n
(n
k-1)
k-1) 
(nk) k = 0 0n(nk-1)
