OAI/Analysis/CoulombIonization/FieldAnalysis/FreshFieldTower.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CoulombAtom.normalizedCoreField_weighted_integrable line 20
2. lemma OAI.CoulombAtom.normalized_core_outer_field_tower line 31
3. lemma OAI.CoulombAtom.fresh_cut_coreCoulombAt_sum line 58
4. theorem OAI.CoulombAtom.fresh_cut_field_tower line 78
5. lemma OAI.CoulombNeumann.retainedPatchLp_potential line 99
6. lemma OAI.CoulombAtom.rawLocalPotential_indicator line 120
7. lemma OAI.CoulombAtom.rawPotential_retained_deleted line 125
8. lemma OAI.CoulombAtom.radial_fine_potential_loss_ae line 134
9. lemma OAI.CoulombAtom.radial_fine_potential_measurable line 155
10. lemma OAI.CoulombAtom.radial_fine_potential_weighted_integrable line 163
11. lemma OAI.CoulombAtom.radial_fine_potential_loss_integral line 178