OAI/Geometry/PrescribedPotential/FourierKernel.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

Fourier Kernel.

  1. lemma OAI.EllipticCompact.phase_sub_bound line 19
  2. lemma OAI.EllipticCompact.phase_inner_sub_bound line 31
  3. def OAI.EllipticCompact.kernelSectionFun line 42
  4. lemma OAI.EllipticCompact.kernelSection_memLp line 45
  5. def OAI.EllipticCompact.kernelSection line 56
  6. lemma OAI.EllipticCompact.kernelSection_ae line 59
  7. lemma OAI.EllipticCompact.kernelSection_continuous line 63