OAI/Analysis/Triangular/Energy/Gaussian.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.AtomicTriangular.schwartzLP_integral line 13
2. def OAI.AtomicTriangular.gaussPot line 17
3. lemma OAI.AtomicTriangular.triangularPoint_zero line 18
4. lemma OAI.AtomicTriangular.triangularPoint_ne_zero line 21
5. lemma OAI.AtomicTriangular.GaussianPair.lattice_contact line 24
6. lemma OAI.AtomicTriangular.GaussianPair.lattice_zeros line 28
7. lemma OAI.AtomicTriangular.latticeEnergy_eq_support line 32
8. lemma OAI.AtomicTriangular.GaussianPair.sharp_value line 35
9. lemma OAI.AtomicTriangular.GaussianPair.energy_bound line 60
10. lemma OAI.AtomicTriangular.gaussian_energy_bound line 78