OAI/Analysis/CoulombIonization/ThomasFermi/TFNonradialCap.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CoulombAnalysis.exists_tfCapBarrier_radius line 18
2. theorem OAI.CoulombAnalysis.weak_tfCapBarrier_bound line 43
3. lemma OAI.CoulombAnalysis.tfCapBarrier_inner_quarter line 72
4. lemma OAI.CoulombAnalysis.tfCapBarrier_coefficient line 83
5. theorem OAI.CoulombAnalysis.weak_tf_nonradial_cap line 94