List
n:.
k-1
n
(G:({s:(n List)| ||s|| = k 
& (x,y:||s||. x < y s[x] < s[y]) }
||L||).
c:||L||, f:(L[c]n).
increasing(f;L[c])
& (s:L[c] List. ||s|| = k (x,y:||s||. x < y s[x] < s[y]) G(map(f;s)) = c))
||L||
L[c](k-1)
s:L[c] List. ||s|| = k (x,y:||s||. x < y s[x] < s[y]) (
s.
)(map(f;s)) = c
L[c] < k
n,m:, f:(nm). Inj(n; m; f) nm
[L[c];k-1;f]
k,m:, f:(km). increasing(f;k) Inj(k; m; f)
None
About:
| | | | | | | |
 |  |  |  |  |  |