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

At: Ramsey-recursion 1 2 2 1 1 2 1 1

k:. 2k (s:0 List. ||s|| = k False)

By:
Auto
THEN
Analyze -2


Generated subgoals:

None

About:
listintnatural_numberequalimpliesfalseall

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