OAI/Analysis/CoulombIonization/RadialBounds/BarrierStepWeakBarrier.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.CoulombBarrier.outwardOffset_weak line 19
2. def OAI.CoulombAtom.initialDensityConstant line 98
3. lemma OAI.CoulombAtom.initialDensityConstant_pos line 101
4. lemma OAI.CoulombAtom.initial_density_scale line 106
5. lemma OAI.CoulombAtom.initial_density_small_of_nuclear_relation line 131
6. lemma OAI.CoulombAtom.exists_initial_epsilon line 145
7. lemma OAI.CoulombAtom.initial_event_cost_small line 157
8. lemma OAI.CoulombAtom.coarse_offset_nuclear_ratio line 173
9. theorem OAI.CoulombAtom.coarse_offset_nuclear_vanishes line 185