OAI/Analysis/RieszRectifiability/Restart/CappedStoppingDistance.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.RieszRectifiability.cappedStoppingDistance line 12
2. theorem OAI.RieszRectifiability.cappedStoppingDistance_bddBelow line 18
3. theorem OAI.RieszRectifiability.cappedStoppingDistance_nonneg line 30
4. theorem OAI.RieszRectifiability.cappedStoppingDistance_le_cap line 40
5. theorem OAI.RieszRectifiability.cappedStoppingDistance_le_center_radius line 46
6. theorem OAI.RieszRectifiability.cappedStoppingDistance_le_add_dist line 52
7. theorem OAI.RieszRectifiability.cappedStoppingDistance_lipschitz line 73
8. theorem OAI.RieszRectifiability.cappedStoppingDistance_pos_of_finite line 88