OAI/Analysis/CoulombIonization/Variational/SmoothTransitionBound.lean

GitHub source file

15 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.CoulombAtom.smoothTransition_deriv_zero_of_neg line 93
  2. lemma OAI.CoulombAtom.smoothTransition_deriv_zero_of_one_lt line 99
  3. lemma OAI.CoulombAtom.smoothTransition_deriv_compact line 105
  4. lemma OAI.CoulombAtom.smoothTransition_deriv_bounded line 114
  5. def OAI.CoulombAtom.smoothTransitionBound line 121
  6. lemma OAI.CoulombAtom.smoothTransitionBound_pos line 123
  7. lemma OAI.CoulombAtom.smoothTransition_deriv_le line 126
  8. def OAI.CoulombAtom.radialParameter line 130
  9. def OAI.CoulombAtom.radialPhase line 133
  10. lemma OAI.CoulombAtom.radialParameter_regular line 136
  11. lemma OAI.CoulombAtom.radialPhase_regular line 139
  12. lemma OAI.CoulombAtom.radialParameter_derivative line 142
  13. lemma OAI.CoulombAtom.radialPhase_derivative line 151
  14. lemma OAI.CoulombAtom.radial_denominator_pos line 165
  15. lemma OAI.CoulombAtom.radialPhase_derivative_le line 168