OAI/MeasureTheory/Falconer/Estimates/OuterRootEquation21.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.PlanarFalconer.source_root_sigma_small line 8
2. def OAI.PlanarFalconer.RootShellData.ofOuter line 14
3. theorem OAI.PlanarFalconer.RootShellData.ofOuter_measure line 19
4. theorem OAI.PlanarFalconer.RootShellData.uniform_outer_equation21 line 28