OAI/Analysis/CoulombIonization/RadialBounds/MasterExteriorStatistic.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CoulombAtom.masterWidth_le_half_bound line 14
2. lemma OAI.CoulombAtom.masterKernel_zero_outer line 25
3. def OAI.CoulombAtom.masterTailTest line 37
4. lemma OAI.CoulombAtom.masterTailTest_nonneg line 40
5. lemma OAI.CoulombAtom.masterTailTest_measurable line 44
6. lemma OAI.CoulombAtom.masterTailTest_le_one line 48
7. lemma OAI.CoulombAtom.masterTailTest_zero_inner line 55
8. lemma OAI.CoulombAtom.masterTailTest_count_le line 63
9. lemma OAI.CoulombAtom.masterTailTest_graph_integrable line 79
10. lemma OAI.CoulombAtom.jointMasterPosterior_tail line 92
11. lemma OAI.CoulombAtom.original_master_tail_integrable line 110
12. lemma OAI.CoulombAtom.original_master_tail_mean_le line 120