OAI/Analysis/CoulombIonization/Variational/RotationCoreKernelIntegrable.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CoulombAtom.rotation_core_kernel_integrable line 148
2. lemma OAI.CoulombAtom.rotation_core_integrable line 180
3. theorem OAI.CoulombAtom.rotation_core_newton line 189
4. lemma OAI.CoulombAtom.rotation_nuclear_integrable line 219
5. lemma OAI.CoulombAtom.rotation_nuclear_newton line 226
6. def OAI.CoulombAtom.rotatedCenters line 238
7. lemma OAI.CoulombAtom.rotatedCenters_distance line 241
8. lemma OAI.CoulombAtom.rotatedCenters_pair line 245
9. lemma OAI.CoulombAtom.rotatedCenters_avoids line 249
10. lemma OAI.CoulombAtom.rotatedCenters_nuclear line 264
11. lemma OAI.CoulombAtom.rotatedScreened_integrable line 271
12. lemma OAI.CoulombAtom.rotatedScreened_average line 285
13. theorem OAI.CoulombAtom.averaged_many_packet_screening line 320