8. N: T List
9. y: T
10. equiv(u,y)
11. L = (M @ (y.N))
v:T. equiv(u,v) & v(
eq) L
}
}
equiv) L
v:T. equiv(u,v) & v(eq) L
eq:{T}, L:T List, x:T. x(eq) L 
(M,N:T List, y:T. eq(x,y) & L = (M @ (y.N)))
[6]
| 1 | 7. M: T List 8. N: T List 9. y: T 10. equiv(u,y) 11. L = (M @ (y.N)) v:T. equiv(u,v) & v(eq) L |
About:
 |  |  |  |  |  |