2. EQ: {T=
}3. eq: {T
}4. L: T List
5. M: T List
L(
eq)M 
(
z:T. z(
EQ) L 
z(eq) M)
T:Type, EQ:{T=}, eq:{T}, L,M:T List. L(eq)M (z:T. z(EQ) L z(eq) M)
| 1 | 1. T: Type 2. EQ: {T= }3. eq: {T }4. L: T List 5. M: T List L(eq)M (z:T. z(EQ) L z(eq) M) |
About:
 |  |  |  |  |