OAI/Analysis/CoulombIonization/RadialBounds/BarrierRetainedComparisonBarrier.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.CoulombBarrier.InverseComparisonAt line 20
2. lemma OAI.CoulombBarrier.pow_four_three_halves line 25
3. lemma OAI.CoulombBarrier.scaled_positive_reaction line 30
4. lemma OAI.CoulombBarrier.inverse_high_unscaled line 34
5. lemma OAI.CoulombBarrier.inverse_low_unscaled line 52
6. lemma OAI.CoulombBarrier.dyadic_inverse_four_bound line 70
7. theorem OAI.CoulombBarrier.retained_old_source line 79
8. theorem OAI.CoulombBarrier.retained_field_source line 95
9. lemma OAI.CoulombBarrier.classical_weak_lower line 115