OAI/Analysis/CoulombIonization/Variational/Space.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. abbrev OAI.CoulombDensity.Space line 22
2. lemma OAI.CoulombDensity.young_density line 24
3. lemma OAI.CoulombDensity.radial_power_identity line 46
4. lemma OAI.CoulombDensity.integrable_ball_kernel line 51
5. lemma OAI.CoulombDensity.integral_ball_kernel line 60
6. lemma OAI.CoulombDensity.nuclear_pointwise line 90
7. lemma OAI.CoulombDensity.nuclear_density_bound line 112
8. lemma OAI.CoulombDensity.nuclear_scale line 145
9. lemma OAI.CoulombDensity.nuclear_density_scaled line 161