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