OAI/MeasureTheory/Falconer/Fourier/JetStateOperations.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

Root symbols and Fourier operations in the exact descriptor class

  1. def OAI.Falconer.DescriptorJetSymbol.spatialMultiplier line 15
  2. theorem OAI.Falconer.DescriptorJetSymbol.spatialMultiplier_value line 33
  3. def OAI.Falconer.DescriptorJetSymbol.base line 43
  4. theorem OAI.Falconer.DescriptorJetSymbol.base_value line 69
  5. def OAI.Falconer.DescriptorJetSymbol.conj line 79
  6. theorem OAI.Falconer.DescriptorJetSymbol.conj_value line 93