OAI/MeasureTheory/FalconerCompletion/Fourier/LawRoot.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

Fourier kernels and oscillatory estimates.

  1. lemma OAI.GraphLiteralSupport.CurrentFalconer.TreeND.AssemblyClassFamily.law_root line 25
  2. lemma OAI.GraphLiteralSupport.CurrentFalconer.TreeND.AssemblyClassFamily.coefficient_law line 29
  3. lemma OAI.GraphLiteralSupport.CurrentFalconer.TreeND.AssemblyClassFamily.coefficient_sum line 33
  4. lemma OAI.GraphLiteralSupport.CurrentFalconer.TreeND.assemblyPairMask_measurable line 46
  5. lemma OAI.GraphLiteralSupport.CurrentFalconer.TreeND.assemblyPairMask_bounds line 60
  6. def OAI.GraphLiteralSupport.CurrentFalconer.TreeND.assemblySpatialWeight line 77
  7. lemma OAI.GraphLiteralSupport.CurrentFalconer.TreeND.assemblySpatialWeight_measurable line 79
  8. lemma OAI.GraphLiteralSupport.CurrentFalconer.TreeND.assemblySpatialWeight_nonneg line 82
  9. def OAI.GraphLiteralSupport.CurrentFalconer.TreeND.assemblyComponentMeasure line 86
  10. lemma OAI.GraphLiteralSupport.CurrentFalconer.TreeND.assemblyComponentMeasure_fourier line 91
  11. lemma OAI.GraphLiteralSupport.CurrentFalconer.TreeND.assemblyComponentMeasure_finite line 109