OAI/MeasureTheory/Falconer/Estimates/PointClassRatios.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

The original point Frostman bound controls ratios in the selected planar block class. All losses remain explicit.

  1. theorem OAI.Falconer.point_block_class_ratio line 11