OAI/Analysis/CoulombIonization/RadialBounds/CoulombTailStatistic.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.CoulombAtom.coulombTailWeight line 12
2. lemma OAI.CoulombAtom.coulombTailWeight_measurable line 13
3. lemma OAI.CoulombAtom.coulombTailWeight_nonneg line 15
4. lemma OAI.CoulombAtom.coulombTailWeight_le line 17
5. lemma OAI.CoulombAtom.rawWeightedFirst_le_sqrt line 23
6. lemma OAI.CoulombAtom.actual_tail_eq_raw line 37
7. theorem OAI.CoulombAtom.actual_tail_square_le line 61
8. theorem OAI.CoulombAtom.CoreObservationEnsemble.observeCells_tailMoment line 82