OAI/MeasureTheory/Falconer/Geometry/CellwiseDistanceForm.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.PlanarFalconer.sourceCellwiseDistanceF line 8
2. theorem OAI.PlanarFalconer.measurable_sourceCellwiseDistanceF line 17
3. theorem OAI.PlanarFalconer.sourceCellwiseDistanceF_profile_ratios line 33
4. theorem OAI.PlanarFalconer.sourceCellwiseDistanceF_constant line 52
5. theorem OAI.PlanarFalconer.sourceCellwiseDistanceF_kernel_bound line 68
6. theorem OAI.PlanarFalconer.sourceCellwiseDistanceF_partition line 88