OAI/Analysis/CoulombIonization/RadialBounds/ExpandedAnnulusGeometry.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CoulombAtom.masterWidth_relative_tendsto_half line 15
2. lemma OAI.CoulombAtom.half_band_observation_width_bound line 37
3. theorem OAI.CoulombAtom.expandedAnnulus_inverse_numerics_eventually line 50
4. theorem OAI.CoulombAtom.own_probability_expandedAnnulus_weighted_cap_eventually line 116