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