(99steps total)
PrintForm
Definitions
Lemmas
graph
1
2
Sections
Graphs
Doc
At:
Ramsey-recursion
1
2
2
1
1
2
1
1
k:
. 2
k
(
s:
0 List. ||s|| = k
False)
By:
Auto
THEN
Analyze -2
Generated subgoals:
None
About:
(99steps total)
PrintForm
Definitions
Lemmas
graph
1
2
Sections
Graphs
Doc