OAI/Analysis/CoulombIonization/FieldAnalysis/RetainedFieldIdentity.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CoulombAtom.normalizedCoreField_pair_integrable line 19
2. lemma OAI.CoulombAtom.normalizedCoreField_pairing line 34
3. lemma OAI.CoulombAtom.radial_translatedDensity_potential line 57
4. lemma OAI.CoulombAtom.radial_translatedDensity_core line 70
5. lemma OAI.CoulombAtom.normalizedCoreField_radial_average line 89
6. theorem OAI.CoulombNeumann.retainedSmear_core_field line 108