OAI/Analysis/RieszRectifiability/Foundations/ExcessPropagationSchedule.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.RieszRectifiability.propagationScale line 12
2. def OAI.RieszRectifiability.propagationHorizon line 14
3. def OAI.RieszRectifiability.propagationTestRadius line 16
4. theorem OAI.RieszRectifiability.propagationScale_pos line 18
5. theorem OAI.RieszRectifiability.propagationScale_tendsto_zero line 22
6. theorem OAI.RieszRectifiability.propagationHorizon_tendsto_atTop line 26
7. theorem OAI.RieszRectifiability.propagationTestRadius_tendsto_atTop line 33
8. theorem OAI.RieszRectifiability.propagation_horizon_product_tendsto_zero line 38
9. theorem OAI.RieszRectifiability.propagation_last_error_tendsto_zero line 42