OAI/Analysis/Triangular/Schwartz/Gaussian.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.AtomicTriangular.Analysis.polynomial_gaussian_bound line 9
2. lemma OAI.AtomicTriangular.Analysis.gaussian_schwartz_decay line 35
3. def OAI.AtomicTriangular.Analysis.gaussianSchwartz line 64
4. lemma OAI.AtomicTriangular.Analysis.gaussianSchwartz_apply line 69
5. lemma OAI.AtomicTriangular.Analysis.iteratedDeriv_real_of_complex line 72
6. lemma OAI.AtomicTriangular.Analysis.entire_real_temperate line 81
7. def OAI.AtomicTriangular.Analysis.dampedEntireSchwartz line 96
8. lemma OAI.AtomicTriangular.Analysis.dampedEntireSchwartz_apply line 100