Import Shelah's bound for Hales–Jewett and update density Hales–Jewett to explicit bounds - #781

Import Shelah's bound for Hales–Jewett and update density Hales–Jewett to explicit bounds#781

Vilin97 merged 3 commits into

LeanPool:mainLeanPool/lean-pool:mainfrom

gdahia:gdahia/import-shelah-hales-jewettgdahia/lean-pool:gdahia/import-shelah-hales-jewettCopy head branch name to clipboard