||nil|| = 0 
tl((nil @ m)) = tl(m)5. u: T
6. v: T*
7. ||v|| = 0
tl((v @ m)) = tl(m) ||u.v|| = 0 tl(((u.v) @ m)) = tl(m) tl((l @ m)) = tl(m)| 1 | 4. ||m|| > 0 ||nil|| = 0 tl((nil @ m)) = tl(m) |
| 2 | 4. ||m|| > 0 5. u: T 6. v: T* 7. ||v|| = 0 tl((v @ m)) = tl(m) ||u.v|| = 0 tl(((u.v) @ m)) = tl(m) |
About:
 |  |  |  |  |  |  |  |