Open
QED
Docs
Leaderboard
Sign in
Back to problems
Borsuk Partition Problem
Can every bounded set in R^n be partitioned into n+1 sets of smaller diameter?
Problem
Lean 4
Formalization
Overview
Preliminaries & Notation
References
Sign in to contribute