PR #11458: feat(analysis/convex/topology): Separating by ...

Stream: triage

[Random Issue Bot]

Today I chose PR 11458 for discussion!

feat(analysis/convex/topology): Separating by convex sets and thickening lemmas
Created by @Yaël Dillies (@YaelDillies) on 2022-01-14
Labels: awaiting-author

Is this PR still relevant? Any recent updates? Anyone making progress?