OAI/Analysis/CoulombIonization/RadialBounds/OutwardBarrier.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.CoulombBarrier.actual_outward_barrier_eventually line 18
2. theorem OAI.CoulombBarrier.inverse_height_squeeze line 97
3. lemma OAI.CoulombBarrier.rpow_inverse_three_halves line 136
4. theorem OAI.CoulombBarrier.inverse_comparison_density_height line 141