Mon, 09 Dec 2019 16:37:26 +0000 | paulson | corrected some confusing terminology / notation | changeset | files |
Mon, 09 Dec 2019 16:13:36 +0000 | paulson | Ramsey with multiple colours and arbitrary exponents | changeset | files |
Mon, 09 Dec 2019 15:36:51 +0000 | paulson | a few new and tidier proofs (mostly about finite sets) | changeset | files |