nil = (nil @ (x.N)) 
False10. v: T List
11. nil = (v @ (x.N))
False nil = ((u.v) @ (x.N)) False
}
T
T
x,y:T. eq(x,y) 
x = y
False
| 1 | nil = (nil @ (x.N)) False |
| 2 | 9. u: T 10. v: T List 11. nil = (v @ (x.N)) False nil = ((u.v) @ (x.N)) False |
About:
 |  |  |  |  |  |  |
 |  |  |  |  |
 |