(99steps total) PrintForm Definitions Lemmas graph 1 2 Sections Graphs Doc

At: Ramsey-recursion 1 2 2 1 1 3 1 1
k:, s:0 List. 2k ||s|| = k False
By:
Auto
THEN
Analyze -3
Generated subgoals:

None

About:
listintnatural_numberequalimpliesfalseall

(99steps total) PrintForm Definitions Lemmas graph 1 2 Sections Graphs Doc