||L||
||p(i)||
L[i]-1 List
n
n List)| ||s|| = 1 
& (
x,y:||s||. x < y 
s[x] < s[y]) }
||L||
||L||( List)
j:||L||, x,y:||p(j)||. x < y (p(j))[x] > (p(j))[y]
j:||L||, x:||p(j)||. (p(j))[x] < n & (
x.G([x]))((p(j))[x]) = j
(
c:||L||. L[c]||p(c)||)
sum(||p(j)|| | j < ||L||)sum(L[i]-1 | i < ||L||)
k:, f,g:(k). (x:k. f(x)g(x)) sum(f(x) | x < k)sum(g(x) | x < k)
| 1 | 10. i: ||L|| ||p(i)||L[i]-1 | 3 steps |
About:
 |  |  |  |  |  |  |  |  |
 |  |  |  |  |  |  |
 |