OAI/Analysis/CoulombIonization/RadialBounds/ActualSimultaneousCapBarrier.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CoulombAtom.original_smaller_cap_excess_integral line 21
2. theorem OAI.CoulombAtom.actual_simultaneous_cap_eventually line 34
3. lemma OAI.CoulombAtom.rawAnnularCount_mono line 83
4. lemma OAI.CoulombAtom.rawAnnularMoment_mono line 94
5. theorem OAI.CoulombAtom.exists_tail_state_annular_count_constant line 111