OAI/Analysis/CoulombIonization/RadialBounds/ActualBandInverseBarrier.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.CoulombAtom.actual_band_inverse_eventually line 22
2. def OAI.CoulombAtom.originalLowFailure line 78
3. def OAI.CoulombAtom.originalHighFailure line 84
4. def OAI.CoulombAtom.OriginalPointInverseBounds line 90
5. theorem OAI.CoulombAtom.actual_band_inverse_uniform_eventually line 97
6. lemma OAI.CoulombAtom.original_inverse_net_union_bound line 129
7. theorem OAI.CoulombAtom.actual_inverse_net_uniform_eventually line 146