The Hales-Jewett Theorem

Ujkan Sulejmani, Manuel Eberl, Katharina Kreuzer
Archive of Formal Proofs 2022.

abstract   BibTeX   PDF  
https://www.isa-afp.org/entries/Hales_Jewett.html#cite-popup