OAI/MeasureTheory/Falconer/Geometry/FiniteScaleBall.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

Finite-scale balls and the support of the actual rescaled laws

  1. theorem OAI.Falconer.finite_scale_ball_extend line 13
  2. theorem OAI.Falconer.Regularization.rescaled_cell_norm_bound line 29
  3. theorem OAI.Falconer.Regularization.rescaled_conditional_support line 41