OAI/Analysis/RieszRectifiability/Kernel/ClosedTailBounds.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.RieszRectifiability.closedExterior line 12
2. theorem OAI.RieszRectifiability.closedExterior_measurable line 15
3. theorem OAI.RieszRectifiability.closedExterior_subset_iUnion_dyadicAnnulus line 19
4. theorem OAI.RieszRectifiability.iUnion_dyadicAnnulus_closedExterior line 29
5. theorem OAI.RieszRectifiability.inverseDistancePow_closedExterior_integrable_and_bound line 39