OAI/Analysis/CoulombIonization/ThomasFermi/WeakSommerfeldBoundsBarrier.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CoulombAnalysis.reaction_continuous line 17
2. lemma OAI.CoulombAnalysis.radialCombination_continuousOn line 22
3. def OAI.CoulombAnalysis.radialCombinationSource line 26
4. lemma OAI.CoulombAnalysis.radialCombinationSource_continuousOn line 29
5. lemma OAI.CoulombAnalysis.radialCombination_poisson line 36
6. theorem OAI.CoulombAnalysis.weak_singular_upper_bound line 41
7. theorem OAI.CoulombAnalysis.weak_singular_lower_bound line 101