OAI/Analysis/CoulombIonization/RadialBounds/NonlinearLocalLimitBarrier.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CoulombAnalysis.compact_uniformly_comp_continuous_real line 21
2. lemma OAI.CoulombAnalysis.uniformly_of_uniform_error line 49
3. lemma OAI.CoulombAnalysis.local_tf_density_limit line 63
4. theorem OAI.CoulombAnalysis.punctured_poisson_integrable_density_limit line 74
5. lemma OAI.CoulombAnalysis.tail_pairing_bound line 104
6. theorem OAI.CoulombAnalysis.weak_field_tail_harmonic line 121