OAI/Analysis/CoulombRadii/FieldAnalysis/NewtonSubmean.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.Coulomb.ballCloud_coulomb_le line 14
2. lemma OAI.Coulomb.potentialOf_ballCloud_integrable line 28
3. lemma OAI.Coulomb.potentialOf_ballCloud_le line 45
4. lemma OAI.Coulomb.screenedPotential_ballCloud_submean line 71
5. lemma OAI.Coulomb.closedBall_ae_ball line 97
6. lemma OAI.Coulomb.integral_ballCloud line 104
7. lemma OAI.Coulomb.integral_closedBall_affine line 118
8. lemma OAI.Coulomb.volume_closedBall_three line 137
9. lemma OAI.Coulomb.submean_affine line 142