OAI/Analysis/CoulombIonization/RadialBounds/CoulombBallIntegral.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CoulombAnalysis.integral_norm_rpow_ball line 16
2. lemma OAI.CoulombAnalysis.integral_coulomb_power_ball line 46
3. lemma OAI.CoulombAnalysis.integral_coulomb_ball line 54