OAI/Analysis/CoulombRadii/FieldAnalysis/AtomicGlobalScale.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.Coulomb.rpow_three_fifths_absorption line 13
2. lemma OAI.Coulomb.atomic_kinetic_scaling line 31
3. lemma OAI.Coulomb.atomic_far_scale line 62
4. theorem OAI.Coulomb.atomic_global_kinetic_density line 73
5. lemma OAI.Coulomb.atom_unrestricted_bottom_nonpos line 102
6. lemma OAI.Coulomb.coreCoulombPotential_eq_form line 117
7. lemma OAI.Coulomb.coreCoulombPotential_le_near_far line 129
8. lemma OAI.Coulomb.global_potential_scale line 153
9. theorem OAI.Coulomb.atomic_global_potential line 159
10. theorem OAI.NeutralAtom.atomic_global_master_potential line 191