FormalConjectures/Wikipedia/ErdosRadoSunflowerConjecture.lean
0 declarations, 0 contain sorry, 0 declared as axioms
Erdős–Rado sunflower conjecture
This file is a Wikipedia-facing entry point for the formalization in
FormalConjectures.ErdosProblems.«20».
Reference: Wikipedia
No declarations listed.