f:(S.car
n), g:(nS.car). InvFuns(S.car; n; f; g)6.
k:. (S:n0n1(k)
s) = q
L:
*. (S:Ls) = q & (k:. 
L = n0n1(k)))
k:. (S:n0n1(k)s) = q L:*. (S:Ls) = q & (k:. L = n0n1(k))| 1 | 5. f:(S.carn), g:(nS.car). InvFuns(S.car; n; f; g) 6. k:. (S:n0n1(k)s) = q L:*. (S:Ls) = q & (k:. L = n0n1(k)) |
About:
 |  |  |  |  |  |