Every ideal family of sets is average rare: the average vertex degree is at most half the number of hyperedges, with a formal Lean 4 proof.
Frankl, On the Union-Closed Sets Conjecture, Unpubli shed manuscript, 1979
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
math.CO 1years
2025 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
On the Averaging Problem of Ideal Families Related to Frankl's Conjecture with Formal Proof by Lean 4
Every ideal family of sets is average rare: the average vertex degree is at most half the number of hyperedges, with a formal Lean 4 proof.