OAI/Analysis/CoulombRadii/Localization/DeletionEnvelope.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.Coulomb.exists_atomic_deletion_envelope line 14
2. def OAI.Coulomb.deletionShell line 52
3. def OAI.Coulomb.deletionShellWeight line 55
4. lemma OAI.Coulomb.measurableSet_deletionShell line 58
5. lemma OAI.Coulomb.deletionShellWeight_measurable line 62
6. lemma OAI.Coulomb.deletionShellWeight_nonneg line 65
7. lemma OAI.Coulomb.deletionShellWeight_le_one line 69
8. lemma OAI.Coulomb.deletionShellWeight_supported line 76
9. lemma OAI.Coulomb.deletionShellWeight_sum line 87
10. lemma OAI.Coulomb.deletionShellWeight_sum_bound line 101
11. lemma OAI.Coulomb.deletion_geometric_sum line 109