OAI/Analysis/CoulombIonization/ThomasFermi/TfInfiniteField.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.CoulombAnalysis.tfInfiniteField line 64
2. lemma OAI.CoulombAnalysis.tfInfinite_sqrt_hasDerivAt line 66
3. lemma OAI.CoulombAnalysis.tfInfinite_sqrt_second line 74
4. lemma OAI.CoulombAnalysis.tfInfiniteField_classical line 94
5. lemma OAI.CoulombAnalysis.tfInfiniteField_decay line 120