# Commit 2021-07-17 19:58 ad5afc21

View on Github →feat(combinatorics/hales_jewett): Hales-Jewett and Van der Waerden (#8019) Proves the Hales-Jewett theorem (a fundamental result in Ramsey theory on combinatorial lines) and deduces (a generalised version of) Van der Waerden's theorem on arithmetic progressions.