OAI/Analysis/CoulombIonization/RadialBounds/BarrierSpatialNetBarrier.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.CoulombBarrier.spatialGridIndex line 20
2. lemma OAI.CoulombBarrier.spatialGridIndex_close line 22
3. lemma OAI.CoulombBarrier.spatialGridIndex_bound line 38
4. theorem OAI.CoulombBarrier.exists_spatial_grid_net line 60
5. theorem OAI.CoulombBarrier.exists_initial_spatial_net line 105
6. lemma OAI.CoulombBarrier.finite_net_good_event line 130
7. lemma OAI.CoulombBarrier.initial_interpolation_exponent line 159
8. lemma OAI.CoulombBarrier.initial_interpolation_bound line 166
9. lemma OAI.CoulombBarrier.initial_net_probability line 184
10. theorem OAI.CoulombBarrier.actual_initial_good_event line 189