OAI/Analysis/CoulombIonization/RadialBounds/BoundedL1PotentialBarrier.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CoulombAnalysis.bounded_coulomb_majorant line 17
2. lemma OAI.CoulombAnalysis.bounded_invSquare_majorant line 29
3. lemma OAI.CoulombAnalysis.bounded_L1_potential_integrable line 42
4. lemma OAI.CoulombAnalysis.bounded_L1_potential_le line 55
5. lemma OAI.CoulombAnalysis.bounded_L1_potential_difference line 73
6. lemma OAI.CoulombAnalysis.bounded_L1_potential_lipschitz line 108