OAI/Analysis/Triangular/Construction/Normalization.lean

GitHub source file

16 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.AtomicTriangular.Construction.waveFunctionJet_transformed_zero line 10
  2. lemma OAI.AtomicTriangular.Construction.inputJJet_transformed_zero line 13
  3. lemma OAI.AtomicTriangular.Construction.inputComplex_radialJ line 17
  4. lemma OAI.AtomicTriangular.Construction.pairComplex_radialJ line 24
  5. lemma OAI.AtomicTriangular.Construction.pairSchwartz_radialJ line 27
  6. lemma OAI.AtomicTriangular.Construction.normalizingDen_pos line 34
  7. def OAI.AtomicTriangular.Construction.actualSchwartz line 36
  8. lemma OAI.AtomicTriangular.Construction.actualSchwartz_apply line 38
  9. lemma OAI.AtomicTriangular.Construction.actualSchwartz_radial line 42
  10. lemma OAI.AtomicTriangular.Construction.complex_fourier_smul line 46
  11. lemma OAI.AtomicTriangular.Construction.actualSchwartz_fourier_side line 49
  12. lemma OAI.AtomicTriangular.Construction.actualSchwartz_fourier line 58
  13. lemma OAI.AtomicTriangular.Construction.radial_nonneg line 61
  14. lemma OAI.AtomicTriangular.Construction.gaussian_normalization line 62
  15. lemma OAI.AtomicTriangular.Construction.actualSchwartz_signs line 75
  16. lemma OAI.AtomicTriangular.Construction.actualSchwartz_node line 82