OAI/Analysis/CoulombIonization/RadialBounds/ShellCoulombDuality.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CoulombAnalysis.exists_patch_density line 18
2. lemma OAI.CoulombAnalysis.tfCoulomb_density_bound line 36
3. lemma OAI.CoulombAtom.shell_coulomb_test_bound line 69
4. lemma OAI.CoulombAtom.shell_potential_tendsto line 89
5. lemma OAI.CoulombAtom.shell_potential_pair_tendsto line 107
6. theorem OAI.CoulombAnalysis.tfCoulomb_truncated_duality line 139
7. theorem OAI.CoulombAnalysis.tfPatchGap_truncated_control line 171