OAI/MeasureTheory/Falconer/Graphs/GraphGlobalSupports.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.PlanarFalconer.graph_directions_sum line 10
2. theorem OAI.PlanarFalconer.graph_directions_sum_norm line 20
3. theorem OAI.PlanarFalconer.graph_parameter_bound line 26
4. theorem OAI.PlanarFalconer.graphGlobalSlice_radius line 36
5. theorem OAI.PlanarFalconer.graphGlobalSlice_frequency_bounds line 48
6. theorem OAI.PlanarFalconer.graph_plus_support_parameter line 62
7. theorem OAI.PlanarFalconer.graph_minus_support_parameter line 74
8. theorem OAI.PlanarFalconer.graphCartesianEquiv_symm_norm_le line 83
9. theorem OAI.PlanarFalconer.graph_global_jacobian_derivative_bound line 97