OAI/Analysis/CoulombIonization/Localization/ObservedPosteriorDensityBarrier.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CoulombBarrier.original_posterior_count_band_bound line 18
2. lemma OAI.CoulombBarrier.master_density_count_scale line 29
3. theorem OAI.CoulombBarrier.exists_observed_posterior_density_constant line 38
4. lemma OAI.CoulombAtom.widthKernel_query_difference line 70
5. lemma OAI.CoulombAtom.widthKernel_ne_zero_width_lower line 82
6. lemma OAI.CoulombBarrier.inverse_fourth_radius_scale line 102
7. lemma OAI.CoulombBarrier.masterKernel_ne_zero_annular line 112
8. theorem OAI.CoulombBarrier.exists_master_annular_query_constant line 131