OAI/Analysis/CoulombIonization/Variational/TruncatedCoulomb.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.CoulombAtom.truncatedCoulomb line 150
2. def OAI.CoulombAtom.unitCoulombIntegral line 152
3. lemma OAI.CoulombAtom.truncatedCoulomb_nonneg line 154
4. lemma OAI.CoulombAtom.unitCoulombIntegral_nonneg line 157
5. lemma OAI.CoulombAtom.truncatedCoulomb_integrable line 160
6. lemma OAI.CoulombAtom.truncatedCoulomb_scaling line 165
7. lemma OAI.CoulombAtom.truncatedCoulomb_integral line 177
8. lemma OAI.CoulombAtom.radialPacketBase_bound line 185
9. def OAI.CoulombAtom.packetDensityConstant line 189
10. lemma OAI.CoulombAtom.packetDensityConstant_pos line 191
11. lemma OAI.CoulombAtom.packetDensity_bound line 194