OAI/MeasureTheory/Falconer/Slicing/GaussianDensity.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

Exact Gaussian density and its dimensional Lebesgue upper bound

  1. theorem OAI.Falconer.gaussian_frequency_scale line 12
  2. theorem OAI.Falconer.normalizedGaussianLebesgue_eq_standard line 17
  3. theorem OAI.Falconer.gaussianLebesgue_le_volume line 36
  4. theorem OAI.Falconer.standard_gaussian_le_volume line 46