OAI/MeasureTheory/Falconer/Fourier/InverseJetCoefficient.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

The radial inverse power pays only the newly added jets

  1. theorem OAI.Falconer.DescriptorInverseSymbols.normalized_coefficient_le line 17