OAI/MeasureTheory/Falconer/Angular/AngularFourCellMass.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. instance OAI.PlanarFalconer.angularFourCellMeasure_finite line 8
2. theorem OAI.PlanarFalconer.angularFourCellMeasure_real line 17
3. theorem OAI.PlanarFalconer.occupied_absolute_mass_sum line 30
4. theorem OAI.PlanarFalconer.angularFourCellMeasure_mass_sum line 39
5. theorem OAI.PlanarFalconer.angular_four_sum_error line 52
6. theorem OAI.PlanarFalconer.angular_four_sum_error_power line 84