PrintForm
Definitions
exponent
Sections
AutomataTheory
Doc
At:
en
wf
2
1.
n:
2.
l:
n*
3.
u:
n
4.
v:
n*
5.
en(v)
u+en(v)
n
By:
BackThru
Thm*
n,m:
. n+m
Generated subgoals:
1
u
2
en(v)
n
About:
u 
en(v)
n n*nn* u+en(v)n 
n,m:. n+m u en(v)n 
