OAI/Analysis/CoulombIonization/Localization/MasterExpandedAnnularQuery.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CoulombBarrier.masterWidth_relative_upper_half line 16
2. lemma OAI.CoulombBarrier.masterKernel_ne_zero_expanded_annular line 28
3. theorem OAI.CoulombBarrier.exists_master_expanded_annular_query_constant line 54
4. lemma OAI.CoulombBarrier.posterior_density_le_raw_annular_count line 107
5. theorem OAI.CoulombBarrier.exists_posterior_expanded_annular_density_constant line 146
6. theorem OAI.CoulombBarrier.exists_posterior_expanded_annular_query_constant line 169