OAI/Analysis/CoulombIonization/Localization/RadialPacket.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CoulombAtom.radial_potential_le_point line 18
2. lemma OAI.CoulombAtom.ae_ne_point line 39
3. lemma OAI.CoulombAtom.spatialSmearing_potential_le line 43
4. lemma OAI.CoulombAtom.spatialSmearing_potential_eq line 61
5. lemma OAI.CoulombAtom.coherentPacket_fderiv line 81
6. lemma OAI.CoulombAtom.real_coherentPacket_derivative_sq line 94
7. lemma OAI.CoulombAtom.real_coherentPacket_gradient_sq line 108