PrintForm
Definitions
exponent
Sections
AutomataTheory
Doc
At:
en
bound
1
2
1
1.
n:
2.
l:
n*
0
en(l)
By:
Inst
Thm*
n:
, l:
n*. en(l)
[n;l]
Generated subgoals:
None
About:
n*
0
en(l)
n:, l:n*. en(l) 
[n;l]
