OAI/Analysis/CoulombIonization/Localization/PosteriorFreshTestBarrier.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CoulombAtom.centered_test_memLp line 21
2. def OAI.CoulombAtom.freshRadialTest line 33
3. lemma OAI.CoulombAtom.freshRadialTest_measurable line 39
4. lemma OAI.CoulombAtom.freshRadialTest_eq_smear line 46
5. theorem OAI.CoulombAtom.event_fresh_high_test_support line 53
6. theorem OAI.CoulombAtom.event_fresh_low_test_support line 85