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