OAI/MeasureTheory/Falconer/Angular/AngleBumpScaling.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.PlanarFalconer.angleBump_scale line 11
2. theorem OAI.PlanarFalconer.angleBump_integral_scale line 17
3. theorem OAI.PlanarFalconer.angleBump_normed_scale line 23
4. theorem OAI.PlanarFalconer.angleBump_normed_iteratedDeriv line 29