OAI/Analysis/CoulombRadii/Localization/TotalDeletion.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.Coulomb.atomic_weighted_exterior_deletion line 13
2. def OAI.Coulomb.particleInnerExterior line 70
3. lemma OAI.Coulomb.particleInnerExterior_measurable line 75
4. lemma OAI.Coulomb.particleInnerExterior_abs_le line 84
5. lemma OAI.Coulomb.particleInnerExterior_reindex line 93
6. def OAI.Coulomb.outerDeletionField line 98
7. lemma OAI.Coulomb.outerDeletionField_measurable line 101
8. lemma OAI.Coulomb.outerDeletionField_abs_le line 105
9. lemma OAI.Coulomb.outerDeletionField_ge_attraction_sub_cross line 112
10. lemma OAI.Coulomb.slice_core_form_le_raw_deletion line 132