OAI/Analysis/CoulombIonization/RadialBounds/AnnularEventNumericsBarrier.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CoulombAtom.annularOffsetMass_rescale line 19
2. lemma OAI.CoulombAtom.annularOffsetMass_tendsto line 30
3. lemma OAI.CoulombAtom.annular_count_margin_eventually line 40
4. lemma OAI.CoulombAtom.polynomial_annular_count_margin_eventually line 54
5. lemma OAI.CoulombAtom.observation_annular_noise_eventually line 64
6. theorem OAI.CoulombAtom.exists_actual_annular_good_constant line 89
7. theorem OAI.CoulombAtom.exists_actual_uniform_annular_good_constant line 144