2. n:
3.
n:, f:(n
Alph). Bij(n; Alph; f)
n@0:, f:(n@0{l:(Alph*)| ||l|| = n }). Bij(n@0; {l:(Alph*)| ||l|| = n }; f) 
Alph:Type, n:. Fin(Alph) 
Fin({l:(Alph*)| ||l|| = n })| 1 | 1. Alph: Type 2. n: 3. n:, f:(nAlph). Bij(n; Alph; f) n@0:, f:(n@0{l:(Alph*)| ||l|| = n }). Bij(n@0; {l:(Alph*)| ||l|| = n }; f) |
About:
 |  |  |  |  |
 |  |  |  |  |