(n1
n)
a2:(n1n). (
z.(f o g(z))[n])(a1) = (z.(f o g(z))[n])(a2) 
{l:(Alph*)| ||l|| = n } 
a1 = a2n1
Alphn1; Alph; f)
f:((nn1)(n1n)). Bij(nn1; (n1n); f)nn1)(n1n)(n1n)nn1nn1; (n1n); f1; g) Inj((n1n); {l:(Alph*)| ||l|| = n }; z.(f o g(z))[n])| 1 | 10. a1: (n1n) a2:(n1n). (z.(f o g(z))[n])(a1) = (z.(f o g(z))[n])(a2) {l:(Alph*)| ||l|| = n } a1 = a2 |
About:
 |  |  |  |  |  |
 |  |  |  |  |  |