At:
discrete product
1
1
1
3
1
1
1
1.
T1: Type{i}
2.
T2: Type{j}
3.
x1: T1
4.
x2: T2
5.
y1: T1
6.
y2: T2
7.
x1 = y1
8.
x2 = y2
9.
< x1,x2 > = < y1,y2 >
10.
1of( < x1,x2 > ) = 1of( < y1,y2 > )
False
By:
AbReduce 10
Generated subgoal:
| 1 | 10. x1 = y1
False |
About:
