OAI/Analysis/CoulombIonization/RadialBounds/CorrectionPotentialSmallBarrier.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CoulombAnalysis.potential_tendsto_zero_of_shrinking_support line 18
2. lemma OAI.CoulombAnalysis.bounded_compact_mass_le line 35
3. lemma OAI.CoulombAnalysis.potential_tendsto_zero_of_compact_bound line 52
4. def OAI.CoulombAnalysis.annularApproximationError line 71
5. lemma OAI.CoulombAnalysis.annularApproximationError_measurable line 74
6. lemma OAI.CoulombAnalysis.annularApproximationError_nonneg line 80
7. lemma OAI.CoulombAnalysis.annularApproximationError_support line 84
8. lemma OAI.CoulombAnalysis.annularApproximationError_bound line 88
9. lemma OAI.CoulombAnalysis.annular_correction_potential_tendsto_zero line 100