At:
Ramsey-base-case
1
1
1
1
1
1
2
1
1.
L: 
List
2.
n:
3.
G: {s:(n List)| ||s|| = 1 
& (
x,y:||s||. x < y 
s[x] < s[y]) }
||L||
4.
c: ||L||
5.
A: List
6.
m:
7.
m
||A||
8.
x: ||A||
9.
A[x] < n
[A[x]] n List
By:
Analyze
THEN
Try Analyze
Generated subgoals:
None
About:
