OAI/Analysis/CoulombIonization/RadialBounds/SelectedData.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.CoulombBarrier.exists_actual_selected_data_constants line 17
2. lemma OAI.CoulombBarrier.uniform_bound_of_eventual line 89
3. lemma OAI.CoulombBarrier.SelectedQuantumData.scaled_bounded line 105
4. lemma OAI.CoulombBarrier.SelectedQuantumData.scaled_TF_bound line 112
5. lemma OAI.CoulombBarrier.selected_data_local_bounds line 136