OAI/Analysis/CoulombRadii/FieldAnalysis/CoulombTransfer.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.Coulomb.ballCloud_norm_bound line 14
2. lemma OAI.Coulomb.density_ballCloud_test_integrable line 20
3. lemma OAI.Coulomb.potential_ballCloud_remainder line 32
4. lemma OAI.Coulomb.coulombBilinear_sub_ballCloud line 72
5. theorem OAI.Coulomb.potential_difference_coulomb_transfer line 88
6. lemma OAI.Coulomb.translated_coulomb_ball_integral line 135
7. lemma OAI.Coulomb.translated_coulomb_integrableOn_ball line 146
8. lemma OAI.Coulomb.near_coulomb_of_density_cap line 159
9. theorem OAI.Coulomb.patch_tf_density_cap line 169
10. theorem OAI.Coulomb.patch_potential_transfer line 195