OAI/Analysis/CoulombIonization/Variational/FinitePotentialDecay.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CoulombAnalysis.cutoff_coulomb_majorant line 12
2. lemma OAI.CoulombAnalysis.cutoff_coulomb_integrable line 23
3. lemma OAI.CoulombAnalysis.potential_cutoff_le line 33
4. lemma OAI.CoulombAnalysis.cutoff_potential_decay line 52
5. theorem OAI.CoulombAnalysis.bounded_L1_potential_decay line 72