OAI/Analysis/CoulombIonization/RadialBounds/BarrierDataSelectionBarrier.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CoulombBarrier.select_small_masses line 19
2. lemma OAI.CoulombBarrier.IsNuclearBarrier.integrable_error_mass line 56
3. theorem OAI.CoulombBarrier.IsNuclearBarrier.select_data line 64
4. lemma OAI.CoulombBarrier.nuclear_radius_le_of_relation line 85
5. structure OAI.CoulombBarrier.InitialNumerics line 91
6. lemma OAI.CoulombBarrier.initial_numerics_eventually line 103
7. def OAI.CoulombBarrier.HasActualInitialBarrier line 128
8. lemma OAI.CoulombBarrier.hasActualInitialBarrier_of_numerics line 140
9. theorem OAI.CoulombBarrier.actual_initial_barrier_eventually line 156