OAI/Analysis/CoulombIonization/RadialBounds/BarrierOuterWeakBarrier.lean

GitHub source file

15 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.CoulombBarrier.clippedOuterBarrier line 21
  2. def OAI.CoulombBarrier.outerOffset line 24
  3. lemma OAI.CoulombBarrier.clippedOuterBarrier_continuous line 27
  4. lemma OAI.CoulombBarrier.outerOffset_continuous line 35
  5. lemma OAI.CoulombBarrier.clippedOuterBarrier_eq line 39
  6. lemma OAI.CoulombBarrier.nuclear_outerOffset_eq line 43
  7. lemma OAI.CoulombBarrier.WeakNuclearLowerOn.mono_set line 49
  8. lemma OAI.CoulombBarrier.weakNuclearLower_iff_off_origin line 53
  9. lemma OAI.CoulombBarrier.WeakNuclearLowerOn.congr_field line 65
  10. lemma OAI.CoulombBarrier.WeakNuclearLowerOn.congr_source line 77
  11. theorem OAI.CoulombBarrier.outerOffset_weak_nuclear line 90
  12. lemma OAI.CoulombBarrier.nuclear_source_locallyIntegrable line 121
  13. lemma OAI.CoulombBarrier.nuclear_weak_maximum line 130
  14. lemma OAI.CoulombBarrier.WeakNuclearLowerOn.source_mono line 151
  15. def OAI.CoulombBarrier.cutMaximum line 165