OAI/MeasureTheory/Falconer/Graphs/GraphAlgebraicDirections.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.PlanarFalconer.graphNormalizedAxis line 10
2. def OAI.PlanarFalconer.graphAlgebraicDirection line 12
3. theorem OAI.PlanarFalconer.graphNormalizedAxis_contDiffAt line 16
4. theorem OAI.PlanarFalconer.quarterTurn_contDiff line 20
5. theorem OAI.PlanarFalconer.graphAlgebraicDirection_contDiffAt line 29
6. theorem OAI.PlanarFalconer.graphNormalizedAxis_eq line 39
7. theorem OAI.PlanarFalconer.graphAlgebraicDirection_eq line 49
8. theorem OAI.PlanarFalconer.graphAlgebraicDirection_uniform_derivatives line 59