OAI/Analysis/CoulombIonization/RadialBounds/BarrierInitialBoundsBarrier.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.CoulombBarrier.initial_quadratic_bound line 20
  2. lemma OAI.CoulombBarrier.initial_branch_lower line 29
  3. lemma OAI.CoulombBarrier.initial_branch_upper line 46
  4. lemma OAI.CoulombBarrier.initial_branch_negative line 58
  5. lemma OAI.CoulombBarrier.initial_outer_upper line 75
  6. lemma OAI.CoulombBarrier.initial_lower_overlap line 85
  7. lemma OAI.CoulombBarrier.initial_branch_cap line 95
  8. def OAI.CoulombBarrier.initializedOffset line 115
  9. def OAI.CoulombBarrier.initializedBarrier line 118
  10. lemma OAI.CoulombBarrier.truncated_density_exterior line 121
  11. lemma OAI.CoulombBarrier.initialBranch_weak_reaction line 128
  12. lemma OAI.CoulombBarrier.outerOffset_weak_initial_source line 152
  13. theorem OAI.CoulombBarrier.initialized_barrier_weak line 164