OAI/MeasureTheory/Falconer/Radial/RadialScaleIntersection.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Intersecting the actual pair sets at finitely many radial scales

  1. theorem OAI.Falconer.finite_radial_scale_intersection line 12