OAI/MeasureTheory/Falconer/Slicing/GaussianTruncatedTriple.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

A three-band bound that includes singular triples

  1. def OAI.Falconer.gaussianTripleBandConstant line 12
  2. theorem OAI.Falconer.gaussianTripleBandConstant_pos line 15
  3. theorem OAI.Falconer.gaussian_three_vector_truncated line 22
  4. theorem OAI.Falconer.gaussianRows_three_vector_truncated line 73
  5. theorem OAI.Falconer.gaussianRows_three_vector_truncated_normalized line 94