Ramsey with multiple colours and arbitrary exponents
Description
Description
Details
Details
- Provenance
paulson <lp15@cam.ac.uk> Authored on - Parents
- rISABELLEd67924987c34: a few new and tidier proofs (mostly about finite sets)
- Branches
- Unknown
- Tags
Ramsey with multiple colours and arbitrary exponents Tags None Subscribers None
Description
Details
|