OAI/Analysis/CoulombIonization/RadialBounds/BarrierNuclearScaleBarrier.lean

GitHub source file

16 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.CoulombAtom.nuclear_radius_relation line 18
  2. lemma OAI.CoulombAtom.nuclear_energy_relation line 24
  3. lemma OAI.CoulombAtom.initial_event_ratio line 32
  4. lemma OAI.CoulombAtom.initial_event_ratio_vanishes line 42
  5. lemma OAI.CoulombAtom.nuclear_inverse_energy_vanishes line 51
  6. theorem OAI.CoulombAtom.initial_budget_eventually line 62
  7. lemma OAI.CoulombAtom.nuclear_radius_tendsto line 86
  8. def OAI.CoulombBarrier.initialQuadraticConstant line 111
  9. def OAI.CoulombBarrier.initialQuadratic line 113
  10. lemma OAI.CoulombBarrier.initialQuadraticConstant_pos line 115
  11. lemma OAI.CoulombBarrier.initialQuadratic_reaction line 119
  12. lemma OAI.CoulombBarrier.initialQuadratic_scale line 128
  13. lemma OAI.CoulombBarrier.initialQuadratic_small line 148
  14. lemma OAI.CoulombBarrier.exists_barrier_epsilon line 160
  15. lemma OAI.CoulombBarrier.exists_barrier_B line 177
  16. lemma OAI.CoulombBarrier.initial_interpolation_eventually line 189