PrintForm
Definitions
exponent
Sections
AutomataTheory
Doc
At:
en
bound
1
2
2
1.
n:
2.
l:
n*
en(l) < (n
||l||)
By:
BackThru
Thm*
n:
, l:
n*. en(l) < (n
||l||)
Generated subgoals:
None
About:
n*
en(l) < (n
||l||)
n:, l:n*. en(l) < (n||l||)
