We give a proof of an infinitary version of the well known Hales-Jewett theorem on finite words avoiding the use of ultrafilters.
生成讲解博客的中文版本
生成AI智能校验的中文版本