2. eq: T
T
3. L1: T List
4. L2: T List
5. x: T
6. disjoint(eq;(x.L1);L2)
disjoint(eq;L1;L2)
T:Type, eq:(TT), L1,L2:T List, x:T. disjoint(eq;(x.L1);L2) 
disjoint(eq;L1;L2)
| 1 | 1. T: Type 2. eq: T T3. L1: T List 4. L2: T List 5. x: T 6. disjoint(eq;(x.L1);L2) disjoint(eq;L1;L2) |
About:
 |  |  |  |  |  |  |