(20steps) PrintForm Definitions discrete jlc Sections Support(jlc) Doc

At: discrete product 1 1 1 3 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

< x1,x2 > = < y1,y2 >
By: Analyze 0
Generated subgoal:

19. < x1,x2 > = < y1,y2 >
False

About:
pairproductuniverseequalfalse

(20steps) PrintForm Definitions discrete jlc Sections Support(jlc) Doc