Erdős–Rado sunflower conjecture

This file is a Wikipedia-facing entry point for the formalization in FormalConjectures.ErdosProblems.«20».

Reference: Wikipedia