The HalesβJewett Theorem by Ujkan Sulejmani π§, Manuel Eberl π§ and Katharina Kreuzer π§ Sep 02