OAI/Analysis/CoulombIonization/ThomasFermi/ScaledBarrierCorrectionBarrier.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CoulombAnalysis.tfDilation_measurable line 18
2. lemma OAI.CoulombAnalysis.tfDilation_integrable line 22
3. lemma OAI.CoulombAnalysis.tfDilation_nonneg line 26
4. lemma OAI.CoulombAnalysis.tfDilation_support line 29
5. lemma OAI.CoulombAnalysis.selected_scaled_error_potential_tendsto_zero line 37
6. lemma OAI.CoulombAnalysis.tfPotential_add_bounded line 56
7. theorem OAI.CoulombAnalysis.literal_barrier_correction_tendsto_zero line 66