OAI/MeasureTheory/Falconer/Estimates/PositiveDistanceRebinBound.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. abbrev OAI.PlanarFalconer.PositiveDistanceData.atCells line 12
2. theorem OAI.PlanarFalconer.PositiveDistanceData.angularFourCellMeasure_eq line 15
3. theorem OAI.PlanarFalconer.PositiveDistanceData.cell_shell_positive_kernel_max line 23
4. theorem OAI.PlanarFalconer.PositiveDistanceData.rebinned_positive_kernel_max line 49