Open
QED
Docs
Leaderboard
Sign in
Back to problems
Frankl's Union-Closed Sets Conjecture
In any union-closed family, some element appears in at least half the sets.
Problem
Lean 4
Formalization
Overview
Preliminaries & Notation
References
Sign in to contribute