OAI/Analysis/CoulombRadii/Screening/UniformCountConsequences.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.Coulomb.atomicCountConstant line 13
2. lemma OAI.Coulomb.atomicCountConstant_ge_two line 14
3. theorem OAI.Coulomb.screenCountParameter_le_atomicCountConstant line 17
4. lemma OAI.Coulomb.screenMass_square_bound line 23
5. theorem OAI.Coulomb.atomic_local_second_moment line 39
6. lemma OAI.Coulomb.exists_atomic_annular_mesh line 50
7. lemma OAI.Coulomb.atomicCellScale_smul line 73
8. theorem OAI.Coulomb.atomic_annular_second_moment line 78