Documentation

LeanPool.NashWilliams.Combinatorics

Combinatorial results about fronts and infinite Ramsey theory.