N6. A: Alph*
7. N < ||A||
a,b,c:Alph*. 0 < ||b|| & A = ((a @ b) @ c) & (
k:. (S:(a @ (b
k)) @ c
s) = (S:As))
a,b,c:Alph*. 0 < ||b|| & A = ((a @ b) @ c) & (k:. (S:(a @ (bk)) @ cs) = (S:As))| 1 | 5. S.car ~ N 6. A: Alph* 7. N < ||A|| a,b,c:Alph*. 0 < ||b|| & A = ((a @ b) @ c) & (k:. (S:(a @ (bk)) @ cs) = (S:As)) |
About:
 |  |  |  |  |  |  |  |