OAI/MeasureTheory/Falconer/Angular/InheritedAngularSymbols.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.PlanarFalconer.descriptorAngleMask line 9
2. theorem OAI.PlanarFalconer.descriptorAngleMask_contDiff line 13
3. theorem OAI.PlanarFalconer.descriptorAngleMask_norm_le_one line 18
4. theorem OAI.PlanarFalconer.descriptorAngleMask_derivatives line 24
5. def OAI.PlanarFalconer.inheritedMaskProduct line 30
6. theorem OAI.PlanarFalconer.inheritedMaskProduct_contDiff line 37
7. theorem OAI.PlanarFalconer.inheritedMaskProduct_support line 45
8. theorem OAI.PlanarFalconer.inheritedMaskProduct_bound line 53