OAI/MeasureTheory/Falconer/Radial/ReverseSlabsAllRadii.lean
1 declarations, 0 contain sorry, 0 declared as axioms
Original all-radius slab bounds under restriction of a pair relation
- theorem
OAI.Falconer.reverse_slabs_all_radiiline 12