PrintForm
Definitions
exponent
Sections
AutomataTheory
Doc
At:
list
1
1
nat
1
1
1
2
1
1
1.
q:
2.
b:
3.
l:
q*. enum(l) = b
a:
q*. enum(a) = b
By:
Analyze 3
Generated subgoal:
1
3.
l:
q*
4.
enum(l) = b
a:
q*. enum(a) = b
About:
q*
a:q*. enum(a) = b
l:q*. enum(l) = b a:q*. enum(a) = bq* a:q*. enum(a) = b
