PrintForm
Definitions
exponent
Sections
AutomataTheory
Doc
At:
fun
enumer
1
1
2
1
1
1
1
1
1
1
1.
n:
2.
a1:
0
n
3.
a2:
0
n
4.
0 = 0
(n
0)
5.
x:
0
a1(x) = a2(x)
By:
Analyze 5
Generated subgoals:
None
About:
0
n0n
(n
0)0
a1(x) = a2(x)
