OAI/Analysis/RieszRectifiability/Restart/ActiveRegionStoppingScale.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.RieszRectifiability.cellRegionStoppingScale line 17
  2. theorem OAI.RieszRectifiability.cellRegionStoppingScale_nonneg line 22
  3. theorem OAI.RieszRectifiability.cellRegionStoppingScale_le_top line 27
  4. theorem OAI.RieszRectifiability.cellRegionStoppingScale_le_center_radius line 32
  5. theorem OAI.RieszRectifiability.cellRegionStoppingScale_le_add_dist line 40
  6. theorem OAI.RieszRectifiability.cellRegionStoppingScale_lipschitz line 46
  7. theorem OAI.RieszRectifiability.cellRegionStoppingScale_eq_zero_of_region_limit line 51
  8. theorem OAI.RieszRectifiability.cellRegionStoppingScale_lower_at_stop line 67
  9. theorem OAI.RieszRectifiability.cellRegionStoppingScale_upper_at_stop line 83
  10. theorem OAI.RieszRectifiability.cellRegionStoppingScale_stop_core_bounds line 104