PrintForm
Definitions
exponent
Sections
AutomataTheory
Doc
At:
exp
step
n,k:
. 0 < k
(n
k) = n
(n
k-1)
By:
UnivCD
Generated subgoal:
1
1.
n:
2.
k:
3.
0 < k
(n
k) = n
(n
k-1)
About:
(n
k) = n
(nk-1) 
n,k:. 0 < k 
(nk) = n(nk-1) (nk) = n(nk-1)
