Erdős meets Nash-Williams

Michelle Delcourt, Cicely, Henderson +2

In 1847, Kirkman proved that there exists a Steiner triple system on $n$ vertices (equivalently a triangle decomposition of the edges of $K_n$) whenever $n$ satisfies the necessary…