Skip to content

feat(Geometry): Bourgain's slicing problem - #638

Open
alreadydone wants to merge 1 commit into
leanprover:mainfrom
alreadydone:BourgainSlicing
Open

alreadydone wants to merge 1 commit into
leanprover:mainfrom
alreadydone:BourgainSlicing

Conversation

@alreadydone

@alreadydone alreadydone commented Sep 13, 2026

Copy link
Copy Markdown
Contributor

Since Klartag's packing bound was solved, I'm adding another item from Gil Kalai's blog posts :)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant