OAI/Analysis/Triangular/Energy/LatticePoisson.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.AtomicTriangular.Construction.radial_triangularPoint line 12
2. lemma OAI.AtomicTriangular.Construction.lattice_gaussian_summable line 15
3. lemma OAI.AtomicTriangular.Construction.atom_lattice_summable line 23
4. def OAI.AtomicTriangular.Construction.dualAtomFunction line 27
5. lemma OAI.AtomicTriangular.Construction.dualAtomFunction_apply line 29
6. lemma OAI.AtomicTriangular.Construction.dualAtomFunction_bound line 32
7. lemma OAI.AtomicTriangular.Construction.dualAtom_lattice_summable line 55
8. lemma OAI.AtomicTriangular.Construction.dualAtom_gaussian line 66
9. lemma OAI.AtomicTriangular.Construction.scalar_lattice_poisson line 72
10. lemma OAI.AtomicTriangular.Construction.atom_lattice_poisson line 107