i)
s)) = Id((S:([1]j)s))
L:
*. (S:Ls) = q & (
k:
. 
L = n0n1(k)))
nnS.cark:. (S:n0n1(k)s) = q(n+1)(n+1)i)s)) = f((S:([1]j)s))i)s)) = (g o f)((S:([1]j)s)) L:*. (S:Ls) = q & (k:. L = n0n1(k))| 1 | 14. Id((S:([1]i)s)) = Id((S:([1]j)s)) L:*. (S:Ls) = q & (k:. L = n0n1(k)) |
About:
 |  |  |  |  |  |  |
 |  |  |  |  |  |