Session Ramsey-Infinite
View
theory dependencies
View
document
View
outline
Theories
HOL-Library.Infinite_Set
Ramsey