OAI/Analysis/CoulombIonization/RadialBounds/CoulombSelfBound.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CoulombAtom.inv_norm_integrable_ball line 17
2. lemma OAI.CoulombAtom.space_ball_coulomb_integral line 25
3. lemma OAI.CoulombAtom.shifted_truncated_coulomb_integrable line 51
4. lemma OAI.CoulombAtom.shifted_truncated_coulomb_integral line 58
5. lemma OAI.CoulombAtom.bounded_density_potential_bound line 68