OAI/MeasureTheory/Falconer/Estimates/ProductMatrix.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.PlanarFalconer.productMatrixIndex line 10
2. def OAI.PlanarFalconer.productMatrixNeighbors line 13
3. theorem OAI.PlanarFalconer.sourceProductGraphIndices_path_data line 19
4. theorem OAI.PlanarFalconer.productMatrix_cells line 45
5. theorem OAI.PlanarFalconer.productPairCells_reverse line 52
6. theorem OAI.PlanarFalconer.productMatrixNeighbors_data line 57
7. def OAI.PlanarFalconer.sourceRetainedProductIndices line 89
8. theorem OAI.PlanarFalconer.sourceRetainedProductIndices_data line 99