OAI/Analysis/CoulombIonization/ThomasFermi/RadialShellPotential.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CoulombAnalysis.tfPotential_radial_max line 16
2. lemma OAI.CoulombAnalysis.tfPotential_annular_bounds line 50
3. lemma OAI.CoulombAtom.averagedPacket_annulus line 81
4. lemma OAI.CoulombAtom.averagedPacket_potential_bounds line 96