OAI/Analysis/RieszRectifiability/Kernel/ShrinkingSchwartzLocalization.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.RieszRectifiability.shrinkingRadius line 14
2. theorem OAI.RieszRectifiability.shrinkingRadius_pos line 16
3. theorem OAI.RieszRectifiability.shrinkingRadius_small line 20
4. theorem OAI.RieszRectifiability.shrinkingRadius_tendsto line 25
5. theorem OAI.RieszRectifiability.shrinking_cutoff_temperate line 30
6. def OAI.RieszRectifiability.shrinkingSchwartzCutoff line 35
7. theorem OAI.RieszRectifiability.shrinkingSchwartzCutoff_apply line 40
8. theorem OAI.RieszRectifiability.shrinkingSchwartzCutoff_germ line 46
9. theorem OAI.RieszRectifiability.shrinkingSchwartzCutoff_seminorm_tendsto line 54