erdős #780
Suppose and the edges of the complete -uniform hypergraph on vertices are -coloured. Prove that some colour class must contain pairwise disjoint edges.
Worked, still open.
combinatorics · solved · 0 attempts
use this record
vela registry pull vfr_37aec80d874a0239vela reproduce examples/erdos-problems