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