OAI/Analysis/CoulombRadii/Packets/FineKernelShiftCoulombIntegrable.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.Coulomb.fineKernel_shift_coulomb_integrable line 128
2. lemma OAI.Coulomb.fineKernel_shift_coulomb_eq line 136
3. lemma OAI.Coulomb.retainedFineDensity_coulomb_integrable line 141
4. lemma OAI.Coulomb.retainedFineDensity_coulomb_eq line 147
5. lemma OAI.Coulomb.coreCoulombPotential_fine_atom_eq line 155
6. lemma OAI.Coulomb.coreCoulombPotential_retainedFine_eq line 171
7. lemma OAI.Coulomb.attraction_retainedFine_integrable line 181
8. lemma OAI.Coulomb.attraction_retainedFine_eq line 191
9. lemma OAI.Coulomb.coreScreenedField_retainedFine_integrable line 204
10. lemma OAI.Coulomb.coreScreenedField_retainedFine_eq line 211