OAI/MeasureTheory/Falconer/Angular/GraphAngularCoordinates.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.PlanarFalconer.sourceDirection_contDiff line 11
2. theorem OAI.PlanarFalconer.sourceDirection_add_arctan line 16
3. theorem OAI.PlanarFalconer.sourceDirection_sub_arctan line 25
4. theorem OAI.PlanarFalconer.graph_chart_angular_lifts line 31
5. theorem OAI.PlanarFalconer.graph_chart_axis_lift line 52
6. theorem OAI.PlanarFalconer.actual_sign_chart_angular_lifts line 61
7. theorem OAI.PlanarFalconer.graphSignPartition_angular_contDiff line 74