OAI/MeasureTheory/Falconer/Angular/AngularStationaryRadialError.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.PlanarFalconer.angularPairCircleIntegral_norm_le line 10
2. theorem OAI.PlanarFalconer.angularPairCircleIntegral_measurable line 20
3. theorem OAI.PlanarFalconer.fullCircleStationaryExpansion_measurable line 32
4. theorem OAI.PlanarFalconer.complex_product_replacement_bound line 37
5. theorem OAI.PlanarFalconer.angular_radial_product_replacement line 51