PrintForm
Definitions
finite
sets
Sections
AutomataTheory
Doc
At:
rect
enumer
1
3
1
1
1
1
1
1
1
1
1
1
1
1
1.
n:
2.
m:
3.
a3:
4.
0
a3 < n
5.
a4:
6.
0
a4 < m
7.
a5:
8.
0
a5 < n
9.
a6:
10.
0
a6 < m
11.
a3
m+a4 = a5
m+a6
(n
m)
< a3,a4 > = < a5,a6 >
n
m
By:
Analyze
Generated subgoals:
1
a3 = a5
n
2
a4 = a6
m
About:
a3 = a5 
n a4 = a6 m
a3 < n a4 < m a5 < n a6 < m
m+a4 = a5m+a6 (nm) < a3,a4 > = < a5,a6 > n
m a3 = a5 n a4 = a6 m
