OAI/Analysis/CoulombIonization/Localization/PosteriorAnnularQueryBarrier.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CoulombBarrier.posterior_query_difference_le_count line 21
2. theorem OAI.CoulombBarrier.exists_posterior_annular_query_constant line 56
3. lemma OAI.CoulombBarrier.master_query_count_scale line 84
4. theorem OAI.CoulombBarrier.exists_observed_posterior_query_constant line 94