OAI/MeasureTheory/Falconer/Shells/RootEndpointData.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. structure OAI.PlanarFalconer.RootEndpointData line 11
2. def OAI.PlanarFalconer.RootEndpointData.mask line 22
3. def OAI.PlanarFalconer.RootEndpointData.symbol line 25
4. theorem OAI.PlanarFalconer.RootEndpointData.symbol_zero line 29
5. theorem OAI.PlanarFalconer.RootEndpointData.mask_bounds line 33
6. theorem OAI.PlanarFalconer.RootEndpointData.mask_measurable line 38
7. def OAI.PlanarFalconer.RootEndpointData.ofOuter line 42
8. theorem OAI.PlanarFalconer.RootEndpointData.ofOuter_mask line 47
9. theorem OAI.PlanarFalconer.outerDescriptorList_length line 54
10. theorem OAI.PlanarFalconer.outerDescriptorList_half line 61