OAI/Analysis/CoulombIonization/RadialBounds/FullAnnulusWidthNumerics.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.CoulombAtom.fresh_threshold_response_tendsto_of_width line 12
2. lemma OAI.CoulombAtom.freshLowThreshold_tendsto_of_width line 59
3. lemma OAI.CoulombAtom.freshHighThreshold_tendsto_of_width line 74
4. lemma OAI.CoulombAtom.inverse_density_error_tendsto_of_width line 89
5. theorem OAI.CoulombAtom.low_inverse_numerics_eventually_of_width line 100
6. theorem OAI.CoulombAtom.high_inverse_numerics_eventually_of_width line 152