Theoremcore
Helly's theorem
Also called Helly's theorem on convex sets.
If every d+1 members of a finite family of convex sets in R^d intersect, the whole family intersects.
If every d+1 members of a finite family of convex sets in R^d intersect, the whole family intersects.
About this page
The build computes these levels from the evidence in the repository. Each row says what the next level needs. Read what the levels mean.
| Ladder | Level | What the next level needs |
|---|---|---|
| Human proof | H0 no proof |
|
| Lean | L0 no Lean part |
|
| Visual | V0 none |
|
| Writing | W0 stub |
|
Tag CT6YW9 Edit this page History Report an error