Herzog–Schönheim conjecture

This file points to the canonical formalization in FormalConjectures.ErdosProblems.«274».

References:

• Wikipedia
• arXiv:1803.08301
• arXiv:1803.03569
• PMC7247885
• arXiv:1804.11103