||map(
c. < 1of(c),a.2of(c) > ;C)||+||[ < q,nil > ]|| > 0
Alph*)*)| ||l|| > 0 }| 
i:
(||C||-1). ||2of(C[i])|| > 0 } ||map(c. < 1of(c),a.2of(c) > ;C) @ [ < q,nil > ]|| > 0as,bs:T*. ||as @ bs|| = ||as||+||bs||)
0| 1 | ||map(c. < 1of(c),a.2of(c) > ;C)||+||[ < q,nil > ]|| > 0 |
About:
 |  |  |  |  |  |  |
 |  |  |  |  |  |  |