OAI/Analysis/CoulombIonization/ThomasFermi/TFNonradialBarrier.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.CoulombAnalysis.tfCapBarrier line 18
2. lemma OAI.CoulombAnalysis.capDenominator_pos line 20
3. lemma OAI.CoulombAnalysis.tfCapBarrier_pos line 23
4. lemma OAI.CoulombAnalysis.cap_scalar_deriv_four line 28
5. lemma OAI.CoulombAnalysis.cap_scalar_deriv_five line 35
6. lemma OAI.CoulombAnalysis.cap_scalar_second line 43
7. lemma OAI.CoulombAnalysis.tfCapBarrier_contDiffAt line 50
8. lemma OAI.CoulombAnalysis.tfCapBarrier_laplacian line 55
9. lemma OAI.CoulombAnalysis.tfCapBarrier_reaction line 67
10. lemma OAI.CoulombAnalysis.tfCapBarrier_supersolution line 78