OAI/Analysis/FourierExtension/MeasureFourier.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

Fourier integrals over finite measurable covers.

  1. def OAI.DiagonalExtension.MeasureFourier.transform line 30
  2. lemma OAI.DiagonalExtension.MeasureFourier.char_continuous line 34
  3. lemma OAI.DiagonalExtension.MeasureFourier.integrand_integrable line 40
  4. lemma OAI.DiagonalExtension.MeasureFourier.split line 46
  5. theorem OAI.DiagonalExtension.MeasureFourier.finite_cover line 52