OAI/Analysis/CoulombIonization/FieldAnalysis/SphericalMeanFieldBarrier.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.CoulombAnalysis.sphereMean line 18
2. lemma OAI.CoulombAnalysis.potential_rotation_integrable line 21
3. lemma OAI.CoulombAnalysis.rotation_density_kernel_measurable line 29
4. lemma OAI.CoulombAnalysis.rotation_density_kernel_normIntegral line 36
5. lemma OAI.CoulombAnalysis.rotation_density_kernel_integrable line 43
6. theorem OAI.CoulombAnalysis.sphereMean_potential line 57
7. lemma OAI.CoulombAnalysis.density_shell_integrable line 79
8. theorem OAI.CoulombAnalysis.sphereMean_field_bracket line 88