OAI/Analysis/CoulombIonization/RadialBounds/OriginalAnnularOscillationBarrier.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CoulombAtom.inner_cap_ball_subset line 19
2. theorem OAI.CoulombAtom.exists_original_annular_oscillation_constant line 30
3. lemma OAI.CoulombAtom.original_capStatistic_unscaled line 78
4. lemma OAI.CoulombAtom.normalized_density_power line 95
5. theorem OAI.CoulombAtom.exists_original_scaled_oscillation_constant line 103