OAI/Analysis/CoulombRadii/FieldAnalysis/AtomicStability.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.Coulomb.atomicAttractionExcess line 12
2. lemma OAI.Coulomb.atomicAttractionExcess_insert line 16
3. lemma OAI.Coulomb.twice_pair_kernel_ge_outer line 27
4. lemma OAI.Coulomb.atomicAttractionExcess_le line 40
5. lemma OAI.Coulomb.atomicAttractionExcess_quadratic_le line 80
6. lemma OAI.Coulomb.atom_potential_excess line 94
7. lemma OAI.Coulomb.H1Vector.nuclear_square_integrable_bound line 102
8. theorem OAI.Coulomb.atom_form_uniform_lower line 112
9. lemma OAI.Coulomb.atom_unrestricted_bottom_lower line 159
10. lemma OAI.Coulomb.atom_unrestricted_bottom_ne_bot line 169
11. lemma OAI.Coulomb.atom_unrestricted_bottom_real line 176