OAI/Analysis/CoulombIonization/RadialBounds/RadialInside.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CoulombAtom.radial_cos_derivative line 96
2. lemma OAI.CoulombAtom.radial_sin_derivative line 104
3. def OAI.CoulombAtom.radialInside line 112
4. def OAI.CoulombAtom.radialOutside line 124
5. def OAI.CoulombAtom.radialCut line 136
6. lemma OAI.CoulombAtom.radialCut_partition line 140
7. lemma OAI.CoulombAtom.radialPhase_zero line 146
8. lemma OAI.CoulombAtom.radialPhase_pi_half line 153
9. lemma OAI.CoulombAtom.radialCut_inner line 160
10. lemma OAI.CoulombAtom.radialCut_outer line 165
11. lemma OAI.CoulombAtom.radialCut_local_error line 170
12. lemma OAI.CoulombAtom.radialPhase_derivative_zero_off_collar line 181
13. theorem OAI.CoulombAtom.radialCut_error_bound line 197