OAI/Analysis/Triangular/Schwartz/FourierCLM.lean

GitHub source file

15 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.AtomicTriangular.Construction.lambdaFunction line 10
  2. def OAI.AtomicTriangular.Construction.zetaFunction line 18
  3. def OAI.AtomicTriangular.Construction.transformedFunction line 26
  4. lemma OAI.AtomicTriangular.Construction.transformedFunction_apply line 28
  5. lemma OAI.AtomicTriangular.Construction.differentiable_transformedFunction line 35
  6. def OAI.AtomicTriangular.Construction.atomFunction line 39
  7. def OAI.AtomicTriangular.Construction.gaussian line 41
  8. lemma OAI.AtomicTriangular.Construction.atomFunction_apply line 42
  9. lemma OAI.AtomicTriangular.Construction.continuous_atomFunction line 45
  10. lemma OAI.AtomicTriangular.Construction.atomFunction_bound line 52
  11. lemma OAI.AtomicTriangular.Construction.integrable_gaussian line 61
  12. lemma OAI.AtomicTriangular.Construction.integrable_atomFunction line 68
  13. lemma OAI.AtomicTriangular.Construction.clm_fourier line 71
  14. lemma OAI.AtomicTriangular.Construction.fourier_atomFunction line 78
  15. lemma OAI.AtomicTriangular.Construction.fourier_spectral line 91