OAI/Analysis/CoulombIonization/RadialBounds/SelectionNumerics.lean

GitHub source file

15 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.CoulombAnalysis.tfDilation_exterior_mass line 14
  2. def OAI.CoulombBarrier.selectedDyadicIndex line 36
  3. lemma OAI.CoulombBarrier.selectedDyadicIndex_spec line 40
  4. lemma OAI.CoulombBarrier.selectedDyadicIndex_radius line 51
  5. lemma OAI.CoulombBarrier.fixed_target_nuclear_radius_eventually line 69
  6. lemma OAI.CoulombAtom.oneBody_coordinate_derivative line 90
  7. def OAI.CoulombAtom.SmoothMultiplier.oneBody line 96
  8. def OAI.CoulombAtom.oneBodySquareTotal line 111
  9. lemma OAI.CoulombAtom.oneBodySquareTotal_value line 119
  10. lemma OAI.CoulombAtom.oneBodySquareTotal_component line 122
  11. lemma OAI.CoulombAtom.SmoothMultiplier.square_integrable line 129
  12. lemma OAI.CoulombAtom.oneBodySquareTotal_integral line 139
  13. lemma OAI.CoulombAtom.oneBody_pairing_off line 145
  14. lemma OAI.CoulombAtom.oneBody_kinetic_error line 161
  15. lemma OAI.CoulombAtom.oneBody_kinetic_lower line 188