OAI/Analysis/CoulombIonization/RadialBounds/RadialCountSelection.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CoulombAtom.cutOutNumber_le_total line 17
2. lemma OAI.CoulombAtom.rawStripCount_measurable line 21
3. lemma OAI.CoulombAtom.rawStripCount_nonneg line 26
4. lemma OAI.CoulombAtom.rawStripCount_le line 29
5. lemma OAI.CoulombAtom.norm_sq_le_of_nonneg line 32
6. lemma OAI.CoulombAtom.radialCut_out_second_moment line 36
7. lemma OAI.CoulombAtom.radialCut_deleted_second_moment line 51
8. theorem OAI.CoulombAtom.radial_cut_radius_selection line 65