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