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