OAI/Analysis/CoulombIonization/FieldAnalysis/LinearCoulomb.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CoulombAtom.linear_radialField_fderiv line 21
2. lemma OAI.CoulombAtom.linear_regularized_coulomb_bound line 31
3. lemma OAI.CoulombAtom.linear_coulomb_integrable line 78
4. lemma OAI.CoulombAtom.linear_coulomb_bound line 115
5. lemma OAI.CoulombAtom.linear_coulomb_infinitesimal_bound line 155
6. lemma OAI.CoulombAtom.nuclear_integrable line 176
7. lemma OAI.CoulombAtom.pair_integrable line 190