PrintForm
Definitions
exponent
Sections
AutomataTheory
Doc
At:
fun
enumer
1
1
2
1
2
1
1
1
1.
n:
2.
b:
(n
0)
a:(
0
n). 0 = b
(n
0)
By:
Witness
z.0
Generated subgoal:
1
0 = b
(n
0)
About:
0 = b 
(n
0)(n0) 
a:(0
n). 0 = b (n0)
z.0 0 = b (n0)
