PrintForm
Definitions
exponent
Sections
AutomataTheory
Doc
At:
div
lt
lbound
a:
, n:
, k:
. a < n
k
(a
n) < k
By:
UnivCD
Generated subgoal:
1
1.
a:
2.
n:
3.
k:
4.
a < n
k
(a
n) < k
About:
k
(a 
n) < k 
a:, n:, k:. a < nk 
(a n) < kk (a n) < k
