PrintForm
Definitions
action
sets
Sections
AutomataTheory
Doc
At:
counter
lpower
1
1
1
1.
e:
2.
L:
*
||e:nil|| = 0
||e:L||
By:
RWH (LemmaC
Thm*
e:
. ||e:nil|| = 0
) 0
Generated subgoals:
None
About:
*
||e:nil|| = 0
||e:L|| 
e:. ||e:nil|| = 0 )
0
