OAI/MeasureTheory/Falconer/Angular/AngularStationarySpatial.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.PlanarFalconer.angularPairAngle line 11
2. theorem OAI.PlanarFalconer.angularPairAngle_measurable line 14
3. theorem OAI.PlanarFalconer.angularPairAngle_represents line 18
4. def OAI.PlanarFalconer.angularPairStationary line 29
5. theorem OAI.PlanarFalconer.angularPairStationary_measurable line 35
6. def OAI.PlanarFalconer.angularStationarySpatialKernel line 53
7. theorem OAI.PlanarFalconer.angularStationarySpatialKernel_measurable line 58
8. theorem OAI.PlanarFalconer.spatial_replacement_integral_bound_ae line 75