number-theory / Combinatorial number theory
Hall's 1947 counterexample predates the problem itself; this paper's counterexample is independent, smaller, and Lean-certified.
Temporal state
No reconciled state yet.
Append-only history
Hall's 1947 counterexample predates the problem itself; this paper's counterexample is independent, smaller, and Lean-certified.
Research memory
Hall's 1947 counterexample predates the problem itself; this paper's counterexample is independent, smaller, and Lean-certified.
Hall's 1947 counterexample predates the problem itself; this paper's counterexample is independent, smaller, and Lean-certified.
Evidence graph
parent of · claim · counterexample
parent of · event · claim reported