OAI/MeasureTheory/Falconer/Slicing/GaussianScaleBudget.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

The concrete polynomial thresholds in Gaussian slice selection

  1. theorem OAI.Falconer.slice_cube_ratio_le line 11
  2. theorem OAI.Falconer.gaussian_point_scale_cost line 18
  3. theorem OAI.Falconer.gaussian_direction_scale_cost line 33
  4. theorem OAI.Falconer.gaussian_mass_scale_cost line 45
  5. theorem OAI.Falconer.gaussian_active_scale_cost line 60
  6. theorem OAI.Falconer.gaussian_four_polynomial_costs line 74