OAI/MeasureTheory/Falconer/Estimates/DistanceMatrixData.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.PlanarFalconer.distanceMatrixIndex line 10
2. def OAI.PlanarFalconer.distanceMatrixNeighbors line 13
3. theorem OAI.PlanarFalconer.sourceParentGraphIndices_occupied line 19
4. theorem OAI.PlanarFalconer.sourceParentGraphIndices_activity line 44
5. theorem OAI.PlanarFalconer.distanceMatrix_cells line 61
6. theorem OAI.PlanarFalconer.graphRetainedDistance_reversal line 68
7. def OAI.PlanarFalconer.sourceRetainedDistanceIndices line 81
8. theorem OAI.PlanarFalconer.sourceRetainedDistanceIndices_data line 90