OAI/MeasureTheory/Falconer/Graphs/GraphActualQuadCells.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.PlanarFalconer.graphQuadPath line 9
2. def OAI.PlanarFalconer.graphQuadCells line 12
3. theorem OAI.PlanarFalconer.graphQuadPath_length line 15
4. theorem OAI.PlanarFalconer.graphQuadCells_pos line 24
5. theorem OAI.PlanarFalconer.graphQuadCells_side_le line 29
6. theorem OAI.PlanarFalconer.graphQuadCells_profile_mass_le line 36