OAI/MeasureTheory/Falconer/Recursion/ProductRetainedStrip.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.PlanarFalconer.planeDot_eq_inner line 8
2. theorem OAI.PlanarFalconer.graphDirection_chart_endpoint line 12
3. theorem OAI.PlanarFalconer.graphChartAxis_norm line 29
4. theorem OAI.PlanarFalconer.GraphSourceRepresentative.product_strip line 32
5. theorem OAI.PlanarFalconer.graphRetainedProduct_reversal line 54