OAI/Analysis/CoulombIonization/RadialBounds/BarrierRetainedFiniteBarrier.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CoulombBarrier.sup_pair_values line 20
2. lemma OAI.CoulombBarrier.sup_triple_values line 25
3. theorem OAI.CoulombBarrier.nuclear_retained_max_two line 31
4. theorem OAI.CoulombBarrier.nuclear_retained_max_three line 71
5. structure OAI.CoulombBarrier.OutwardCalibration line 127
6. def OAI.CoulombBarrier.outwardRegionOffset line 145
7. lemma OAI.CoulombBarrier.outwardRegionOffset_inner line 150
8. lemma OAI.CoulombBarrier.outwardRegionOffset_middle line 156
9. theorem OAI.CoulombBarrier.outward_region_weak line 163