OAI/Analysis/Triangular/Energy/GaussianPoisson.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.AtomicTriangular.Construction.actualSchwartz_lattice_summable line 10
2. lemma OAI.AtomicTriangular.Construction.actualSchwartz_lattice_poisson line 13
3. lemma OAI.AtomicTriangular.gaussian_eq_radial line 26
4. lemma OAI.AtomicTriangular.gaussian_lattice_summable line 32
5. lemma OAI.AtomicTriangular.complex_gaussian_lattice line 36
6. lemma OAI.AtomicTriangular.gaussian_lattice_theta line 45
7. structure OAI.AtomicTriangular.GaussianLatticePoisson line 68
8. lemma OAI.AtomicTriangular.largeGaussianPair_poisson line 72
9. lemma OAI.AtomicTriangular.reciprocalGaussianPair_poisson line 77
10. lemma OAI.AtomicTriangular.gaussianPair_poisson line 94