OAI/MeasureTheory/Falconer/Radial/RadialPreparation.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.PlanarFalconer.exists_frostman_above_one line 10
2. theorem OAI.PlanarFalconer.normalized_restriction_ball_bound line 33
3. theorem OAI.PlanarFalconer.support_subset_carrier line 65
4. theorem OAI.PlanarFalconer.exists_distinct_support_points line 69
5. theorem OAI.PlanarFalconer.exists_separated_compact_pieces line 81
6. theorem OAI.PlanarFalconer.radial_parameters line 116
7. theorem OAI.PlanarFalconer.exists_separated_frostman_pair line 125