OAI/MeasureTheory/Falconer/Radial/TwoSlabGeometry.lean
1 declarations, 0 contain sorry, 0 declared as axioms
The intersection of two separated affine slabs lies near a codimension-two plane
- theorem
OAI.Falconer.two_slab_intersection_near_planeline 12