M,N:T List. L = (M @ (y.N))) 
y(
eq) L
v:T. equiv(u,v) & v(eq) L
}
}
equiv) L
x:T. (M,N:T List. L = (M @ (x.N))) x(eq) L
v:T. equiv(u,v) & v(eq) L
| 1 | 12. (M,N:T List. L = (M @ (y.N))) y(eq) L v:T. equiv(u,v) & v(eq) L |
About:
 |  |  |  |  |  |  |  |  |  |