OAI/Analysis/CoulombRadii/FieldAnalysis/TailClosure.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.Coulomb.atomic_radial_tail_uniform line 14
2. def OAI.Coulomb.atomicTailConstant line 69
3. lemma OAI.Coulomb.atomicTailConstant_nonneg line 70
4. theorem OAI.Coulomb.atomic_radial_tail_bound line 73
5. def OAI.Coulomb.atomicInnerField line 90
6. lemma OAI.Coulomb.far_radial_kernel_bound line 93
7. lemma OAI.Coulomb.restrictedCore_far_le_inner_tail line 106
8. theorem OAI.Coulomb.atomic_inner_field_bound line 146