OAI/Analysis/CoulombIonization/RadialBounds/BarrierDilationBarrier.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CoulombBarrier.reaction_dilation line 20
2. lemma OAI.CoulombBarrier.innerSource_dilation line 30
3. lemma OAI.CoulombBarrier.outerCoefficient_dilation line 38
4. lemma OAI.CoulombBarrier.outerBarrier_dilation line 44
5. theorem OAI.CoulombBarrier.barrier_weak_dilation line 49
6. lemma OAI.CoulombAnalysis.local_coulomb_majorant line 80
7. lemma OAI.CoulombAnalysis.local_bounded_potential_integrable line 92
8. theorem OAI.CoulombAnalysis.local_bounded_potential_le line 106
9. theorem OAI.CoulombAnalysis.potential_tendsto_zero_of_local_mass line 124