OAI/MeasureTheory/Falconer/Graphs/GraphNonedgePerturbation.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.PlanarFalconer.graphA_norm_bound line 9
2. theorem OAI.PlanarFalconer.graphB_norm_bound line 17
3. theorem OAI.PlanarFalconer.graphA_perturbation_identity line 21
4. theorem OAI.PlanarFalconer.graphB_perturbation_identity line 26
5. theorem OAI.PlanarFalconer.graphA_perturbation_bound line 31
6. theorem OAI.PlanarFalconer.graphB_perturbation_bound line 39
7. theorem OAI.PlanarFalconer.graph_vector_perturbation line 47
8. theorem OAI.PlanarFalconer.graphDerivative_norm_bound line 70
9. theorem OAI.PlanarFalconer.graphDerivative_sub line 78
10. theorem OAI.PlanarFalconer.graph_scalar_perturbation line 83