l:Alph*. ||l|| < 0 & (S:l
s) = f
l:Alph*. ||l||
n & (S:ls) = f
l:Alph*. (S:ls) = f (l:Alph*. ||l|| < 0 & (S:ls) = f) 
(l:Alph*. ||l||n & (S:ls) = f)| 1 | 8. l:Alph*. ||l|| < 0 & (S:ls) = f l:Alph*. ||l||n & (S:ls) = f |
About:
 |  |  |  |  |  |  |  |